Dave is green. Dave is white. Gary is cold. Harry is cold. Harry is quiet. Harry is red. Harry is white. If Gary is big and Gary is red then Gary is green. If Gary is cold then Gary is red. Smart, red people are green. Big people are white. All big, cold people are smart. If someone is cold and red then they are big.
Gary is cold.
@0: Dave is green.[(triple1)] Dave is white.[(triple2)] Gary is cold.[(triple3)] Harry is cold.[(triple4)] Harry is quiet.[(triple5)] Harry is red.[(triple6)] Harry is white.[(triple7 OR ((((triple4 triple6) -> rule6)) -> rule4))] @1: Gary is red.[(((triple3) -> rule2))] Harry is big.[(((triple4 triple6) -> rule6))] @2: Gary is big.[(((triple3 ((triple3) -> rule2)) -> rule6))] Harry is smart.[(((((triple4 triple6) -> rule6) triple4) -> rule5))] @3: Gary is green.[(((((triple3 ((triple3) -> rule2)) -> rule6) ((triple3) -> rule2)) -> rule1) OR ((((((triple3 ((triple3) -> rule2)) -> rule6) triple3) -> rule5) ((triple3) -> rule2)) -> rule3))] Gary is smart.[(((((triple3 ((triple3) -> rule2)) -> rule6) triple3) -> rule5))] Gary is white.[(((((triple3 ((triple3) -> rule2)) -> rule6)) -> rule4))] Harry is green.[(((((((triple4 triple6) -> rule6) triple4) -> rule5) triple6) -> rule3))]