Goal Backward (backward chaining only) knowledgebase

BACKWARD RULE 1 PROVIDES 
   IF E is correct AND F is correct 
   THEN A is correct 

BACKWARD RULE 2 PROVIDES 
   IF A is correct AND 
      BEGIN B is correct  OR C is correct  END 
   THEN D is correct 

BACKWARD RULE 3 PROVIDES 
   IF E is correct  OR G is correct  
   THEN C is correct 

BACKWARD RULE 4 PROVIDES 
   IF H is correct  AND G is correct  AND C is correct  
      AND F is not correct   
   THEN A is correct 

BACKWARD RULE 5 PROVIDES 
   IF F is correct  AND  E is not correct  
   THEN D is not correct 

GOAL RULE Is A correct? PROVIDES
   DETERMINE A  is correct

GOAL RULE Is B correct? PROVIDES
   DETERMINE B  is correct

GOAL RULE Is C correct? PROVIDES
   DETERMINE C  is correct

GOAL RULE Is D correct? PROVIDES
   DETERMINE D  is correct