Dave is green. Dave is smart. Harry is red. All smart, big things are cold. Smart things are big. If Dave is big and Dave is smart then Dave is round. If Harry is blue then Harry is cold. Big things are green. If something is big and red then it is blue.
Harry is round.
@0: Dave is green.[(triple1 OR ((((triple2) -> rule2)) -> rule5))] Dave is smart.[(triple2)] Harry is red.[(triple3)] @1: Dave is big.[(((triple2) -> rule2))] @2: Dave is cold.[(((triple2 ((triple2) -> rule2)) -> rule1))] Dave is round.[(((((triple2) -> rule2) triple2) -> rule3))]