Dave is cold. Harry is blue. Harry is round. If Harry is smart then Harry is cold. Blue people are red. Blue people are big. Cold people are big. Big people are smart. If Dave is cold then Dave is big.
Harry is not cold.
@0: Dave is cold.[(triple1)] Harry is blue.[(triple2)] Harry is round.[(triple3)] @1: Dave is big.[(((triple1) -> rule4) OR ((triple1) -> rule6))] Harry is big.[(((triple2) -> rule3))] Harry is red.[(((triple2) -> rule2))] @2: Dave is smart.[(((((triple1) -> rule4)) -> rule5) OR ((((triple1) -> rule6)) -> rule5))] Harry is smart.[(((((triple2) -> rule3)) -> rule5))] @3: Harry is cold.[(((((((triple2) -> rule3)) -> rule5)) -> rule1))]