Goal Test (forward and backward chaining) knowledge-base

RULE R1 PROVIDES
IF E is correct AND F is correct
THEN A is correct

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

RULE R3 PROVIDES
IF E is correct  OR G is correct THEN C is correct

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

RULE R5 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

GOAL RULE Is E correct? PROVIDES
 DETERMINE E is correct

GOAL RULE Is F correct? PROVIDES
DETERMINE F is correct

GOAL RULE Is G correct? PROVIDES
DETERMINE G is correct

GOAL RULE Is H correct? PROVIDES
DETERMINE H is correct