Harry is quiet. Harry is red. Harry is rough. If something is red and smart then it is rough. Smart, quiet things are red. If something is nice then it is big. Nice things are quiet. If Harry is big then Harry is red. All quiet, blue things are nice. If something is blue and smart then it is red. Quiet things are blue.
Harry is not rough.
@0: Harry is quiet.[(triple1)] Harry is red.[(triple2 OR ((((((triple1 ((triple1) -> rule8)) -> rule6)) -> rule3)) -> rule5))] Harry is rough.[(triple3)] @1: Harry is blue.[(((triple1) -> rule8))] @2: Harry is nice.[(((triple1 ((triple1) -> rule8)) -> rule6))] @3: Harry is big.[(((((triple1 ((triple1) -> rule8)) -> rule6)) -> rule3))]