Forward Chaining

c
      V | •
 
  
 
  
 
 
 
 
 

 

 



   

  
 
    
  
 
      •

   
 
 
         

   
      
 
 
  


  
    

   
   

 
  

 
 
  
    
  

 
 
          

   
 
     
 
 
 
     
       

 !"#$ 

 
      % %  
 

%  

 
      
%
 
%  
  &  
 



     '  " ()))))) 
 *%*   
 +
   
  
,

   -
-./)V$& -
-   
./)!"#$ 
-
-0 1(2 -  -
-3 
-
-   
0 *(2 - -
-   
3 #$&  
  
,

 
   

r

,  1(2())))))*01))))))  r

   
  *(2())))))*0*))))))       

   
 !45#%    
 
  
    

    6
 
 
 
 


  

       
 
   
   
  %  

 

   r |  

 | ÷

% 


%

 | Î  
  | ?
  

 7
  |

6
%  

 

| ?
 
   |

     

| ! 
  
  
    |

 
  8 

 

r 
   

   * |    



  
  1 | 5
    
   
 
    
     
    



 
   ( |       


!"#$  +

 


 
 V   

   
  
      
%    
    
   1 
 
 
  
    
%  

      

 | +  | • 


%

%
 | &

 
 | V
  
 
 
 | & 
%

   | r    


 
 



   

 

 

Y



 

     

Y
 
 



      

 
 
 
 $ 

V


4*

V?r!"#$

41

!"#$&

4(

V?#!"#$

49

V!"#$÷

4:

?÷!"#$&

4;

÷?#!"#$"

4