Dave is nice. Harry is blue. All blue things are red. If Dave is green and Dave is red then Dave is nice. Quiet, blue things are rough. If Harry is smart then Harry is blue. Blue, red things are quiet. If something is nice and smart then it is quiet.
Dave is green.
@0: Dave is nice.[(triple1)] Harry is blue.[(triple2)] @1: Harry is red.[(((triple2) -> rule1))] @2: Harry is quiet.[(((triple2 ((triple2) -> rule1)) -> rule5))] @3: Harry is rough.[(((((triple2 ((triple2) -> rule1)) -> rule5) triple2) -> rule3))]