Dave is quiet. Dave is rough. Dave is round. If Dave is quiet and Dave is white then Dave is green. All quiet things are white.
Dave is not red.
@0: Dave is quiet.[(triple1)] Dave is rough.[(triple2)] Dave is round.[(triple3)] @1: Dave is white.[(((triple1) -> rule2))] @2: Dave is green.[(((triple1 ((triple1) -> rule2)) -> rule1))]