Gary is red. Harry is rough. Harry is smart. Red, nice things are blue. If Harry is nice then Harry is red. If something is smart then it is quiet. All smart, quiet things are red. If Harry is furry and Harry is blue then Harry is nice. If something is furry then it is red.
Harry is red.
@0: Gary is red.[(triple1)] Harry is rough.[(triple2)] Harry is smart.[(triple3)] @1: Harry is quiet.[(((triple3) -> rule3))] @2: Harry is red.[(((triple3 ((triple3) -> rule3)) -> rule4))]