Harry is kind. Harry is quiet. Harry is white. If Harry is quiet and Harry is white then Harry is green. If Harry is quiet then Harry is nice.
Harry is not quiet.
@0: Harry is kind.[(triple1)] Harry is quiet.[(triple2)] Harry is white.[(triple3)] @1: Harry is green.[(((triple2 triple3) -> rule1))] Harry is nice.[(((triple2) -> rule2))]