Dave is cold. Dave is green. Dave is quiet. Dave is red. Harry is blue. Harry is cold. Harry is green. Harry is nice. Harry is red. Harry is smart. All green, blue people are nice. Red people are blue. If Dave is nice and Dave is red then Dave is smart.
Dave is smart.
@0: Dave is cold.[(triple1)] Dave is green.[(triple2)] Dave is quiet.[(triple3)] Dave is red.[(triple4)] Harry is blue.[(triple5 OR ((triple9) -> rule2))] Harry is cold.[(triple6)] Harry is green.[(triple7)] Harry is nice.[(triple8 OR ((triple7 triple5) -> rule1) OR ((triple7 ((triple9) -> rule2)) -> rule1))] Harry is red.[(triple9)] Harry is smart.[(triple10)] @1: Dave is blue.[(((triple4) -> rule2))] @2: Dave is nice.[(((triple2 ((triple4) -> rule2)) -> rule1))] @3: Dave is smart.[(((((triple2 ((triple4) -> rule2)) -> rule1) triple4) -> rule3))]