Dave is white. Harry is young. All smart people are rough. If Dave is white then Dave is quiet. If Dave is white and Dave is quiet then Dave is smart.
Dave is not green.
@0: Dave is white.[(triple1)] Harry is young.[(triple2)] @1: Dave is quiet.[(((triple1) -> rule2))] @2: Dave is smart.[(((triple1 ((triple1) -> rule2)) -> rule3))] @3: Dave is rough.[(((((triple1 ((triple1) -> rule2)) -> rule3)) -> rule1))]