Dave is big. Gary is red. Harry is red. If Dave is nice and Dave is blue then Dave is kind. If something is big and round then it is blue. Big, round things are kind. If Harry is blue then Harry is rough. All red things are blue. All rough, kind things are nice. All red, rough things are big. All red, round things are nice.
Harry is blue.
@0: Dave is big.[(triple1)] Gary is red.[(triple2)] Harry is red.[(triple3)] @1: Gary is blue.[(((triple2) -> rule5))] Harry is blue.[(((triple3) -> rule5))] @2: Harry is rough.[(((((triple3) -> rule5)) -> rule4))] @3: Harry is big.[(((triple3 ((((triple3) -> rule5)) -> rule4)) -> rule7))]