Dave is blue. Dave is green. Dave is kind. Gary is blue. Harry is kind. Harry is red. Harry is round. If something is young and big then it is red. If something is green and kind then it is red. All red, round things are green. If something is young then it is blue. Green, red things are young. All green, round things are young.
Gary is red.
@0: Dave is blue.[(triple1 OR ((((triple2 ((triple2 triple3) -> rule2)) -> rule5)) -> rule4))] Dave is green.[(triple2)] Dave is kind.[(triple3)] Gary is blue.[(triple4)] Harry is kind.[(triple5)] Harry is red.[(triple6)] Harry is round.[(triple7)] @1: Dave is red.[(((triple2 triple3) -> rule2))] Harry is green.[(((triple6 triple7) -> rule3))] @2: Dave is young.[(((triple2 ((triple2 triple3) -> rule2)) -> rule5))] Harry is young.[(((((triple6 triple7) -> rule3) triple6) -> rule5) OR ((((triple6 triple7) -> rule3) triple7) -> rule6))] @3: Harry is blue.[(((((((triple6 triple7) -> rule3) triple6) -> rule5)) -> rule4) OR ((((((triple6 triple7) -> rule3) triple7) -> rule6)) -> rule4))]