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

Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.

Ideas, requests, problems regarding AustLII Communities? Send feedback

Ideas, requests, problems regarding AustLII Communities? Send feedback