Dave is green. Dave is white. Harry is white. All nice things are kind. All rough things are nice. If Harry is white then Harry is rough.
Harry is not rough.
@0: Dave is green.[(triple1)] Dave is white.[(triple2)] Harry is white.[(triple3)] @1: Harry is rough.[(((triple3) -> rule3))] @2: Harry is nice.[(((((triple3) -> rule3)) -> rule2))] @3: Harry is kind.[(((((((triple3) -> rule3)) -> rule2)) -> rule1))]