Dave is cold. Dave is red. Dave is young. Gary is cold. Gary is round. Harry is cold. Harry is nice. Harry is red. Harry is white. Harry is young. If something is red then it is nice. If something is young and round then it is cold. All round, white things are cold. Round things are smart. All young things are round. If Harry is nice then Harry is smart. White, nice things are cold. Round, smart things are red.
Gary is smart.
@0: Dave is cold.[(triple1 OR ((triple3 ((triple3) -> rule5)) -> rule2))] Dave is red.[(triple2 OR ((((triple3) -> rule5) ((((triple3) -> rule5)) -> rule4)) -> rule8))] Dave is young.[(triple3)] Gary is cold.[(triple4)] Gary is round.[(triple5)] Harry is cold.[(triple6 OR ((triple9 triple7) -> rule7) OR ((triple10 ((triple10) -> rule5)) -> rule2) OR ((triple9 ((triple8) -> rule1)) -> rule7) OR ((((triple10) -> rule5) triple9) -> rule3) OR ((triple9 ((((((triple10) -> rule5) ((((triple10) -> rule5)) -> rule4)) -> rule8)) -> rule1)) -> rule7))] Harry is nice.[(triple7 OR ((triple8) -> rule1) OR ((((((triple10) -> rule5) ((((triple10) -> rule5)) -> rule4)) -> rule8)) -> rule1))] Harry is red.[(triple8 OR ((((triple10) -> rule5) ((triple7) -> rule6)) -> rule8) OR ((((triple10) -> rule5) ((((triple10) -> rule5)) -> rule4)) -> rule8))] Harry is white.[(triple9)] Harry is young.[(triple10)] @1: Dave is nice.[(((triple2) -> rule1) OR ((((((triple3) -> rule5) ((((triple3) -> rule5)) -> rule4)) -> rule8)) -> rule1))] Dave is round.[(((triple3) -> rule5))] Gary is smart.[(((triple5) -> rule4))] Harry is round.[(((triple10) -> rule5))] Harry is smart.[(((triple7) -> rule6) OR ((((triple10) -> rule5)) -> rule4) OR ((((triple8) -> rule1)) -> rule6))] @2: Dave is smart.[(((((triple3) -> rule5)) -> rule4))] Gary is red.[(((triple5 ((triple5) -> rule4)) -> rule8))] @3: Gary is nice.[(((((triple5 ((triple5) -> rule4)) -> rule8)) -> rule1))]