Harry is green. Harry is red. Harry is smart. If something is round then it is not red. If something is young and rough then it is red. All smart things are nice. Nice, smart things are rough. If something is rough then it is not round. If Harry is not green and Harry is not smart then Harry is not round.
Harry is not smart.
@0: Harry is green.[(triple1)] Harry is red.[(triple2)] Harry is smart.[(triple3)] @1: Harry is nice.[(((triple3) -> rule3))] @2: Harry is rough.[(((((triple3) -> rule3) triple3) -> rule4))] @3: Harry is not round.[(((((((triple3) -> rule3) triple3) -> rule4)) -> rule5))]