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.
Dave is kind.
@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))]