Harry is quiet. Harry is red. Harry is rough. If Harry is rough and Harry is quiet then Harry is nice. All quiet, rough people are kind. All smart people are nice.
Harry is not rough.
@0: Harry is quiet.[(triple1)] Harry is red.[(triple2)] Harry is rough.[(triple3)] @1: Harry is kind.[(((triple1 triple3) -> rule2))] Harry is nice.[(((triple3 triple1) -> rule1))]