Harry is green. Harry is kind. Harry is rough. All green, rough people are not round. Furry people are not quiet. If someone is rough and not round then they are furry.
Harry is not furry.
@0: Harry is green.[(triple1)] Harry is kind.[(triple2)] Harry is rough.[(triple3)] @1: Harry is not round.[(((triple1 triple3) -> rule1))] @2: Harry is furry.[(((triple3 ((triple1 triple3) -> rule1)) -> rule3))] @3: Harry is not quiet.[(((((triple3 ((triple1 triple3) -> rule1)) -> rule3)) -> rule2))]