Goal Forward (forward chaining only) Consultations

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

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

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

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

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

STRING the objective
STRING a true fact
STRING another true fact
STRING a third true fact
STRING a false fact
STRING another false fact

GOAL RULE assert some facts PROVIDES
ASSERT <a true fact> is correct 
ASSERT <another true fact> is correct
ASSERT <a third true fact> is correct
ASSERT <a false fact> is not correct
ASSERT <another false fact> is not correct