Dave is blue. Dave is cold. Harry is big. Harry is blue. Harry is cold. Harry is round. Harry is smart. If something is nice then it is big. Big, blue things are nice. Big things are cold. All smart, round things are cold. If Harry is furry then Harry is big. Cold things are smart.
Harry is cold.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2)] Harry is big.[(triple3)] Harry is blue.[(triple4)] Harry is cold.[(triple5 OR ((triple3) -> rule3) OR ((triple7 triple6) -> rule4))] Harry is round.[(triple6)] Harry is smart.[(triple7 OR ((triple5) -> rule6) OR ((((triple3) -> rule3)) -> rule6))] @1: Dave is smart.[(((triple2) -> rule6))] Harry is nice.[(((triple3 triple4) -> rule2))]