Anne is cold. Anne is kind. Anne is round. Dave is big. Dave is young. Gary is green. Harry is young. Kind things are cold. If Dave is big then Dave is kind. If something is young then it is cold. Round, cold things are big. All kind, young things are smart. Kind, green things are round. Young, round things are green. If Harry is young and Harry is cold then Harry is green. Young, green things are kind.
Gary is cold.
@0: Anne is cold.[(triple1 OR ((triple2) -> rule1))] Anne is kind.[(triple2)] Anne is round.[(triple3)] Dave is big.[(triple4)] Dave is young.[(triple5)] Gary is green.[(triple6)] Harry is young.[(triple7)] @1: Anne is big.[(((triple3 triple1) -> rule4) OR ((triple3 ((triple2) -> rule1)) -> rule4))] Dave is cold.[(((triple5) -> rule3) OR ((((triple4) -> rule2)) -> rule1))] Dave is kind.[(((triple4) -> rule2))] Harry is cold.[(((triple7) -> rule3))] @2: Dave is smart.[(((((triple4) -> rule2) triple5) -> rule5))] Harry is green.[(((triple7 ((triple7) -> rule3)) -> rule8))] @3: Harry is kind.[(((triple7 ((triple7 ((triple7) -> rule3)) -> rule8)) -> rule9))] @4: Harry is round.[(((((triple7 ((triple7 ((triple7) -> rule3)) -> rule8)) -> rule9) ((triple7 ((triple7) -> rule3)) -> rule8)) -> rule6))] Harry is smart.[(((((triple7 ((triple7 ((triple7) -> rule3)) -> rule8)) -> rule9) triple7) -> rule5))] @5: Harry is big.[(((((((triple7 ((triple7 ((triple7) -> rule3)) -> rule8)) -> rule9) ((triple7 ((triple7) -> rule3)) -> rule8)) -> rule6) ((triple7) -> rule3)) -> rule4))]