Dave is green. Dave is nice. Dave is red. All quiet people are nice. If Dave is nice then Dave is quiet.
Dave is not quiet.
@0: Dave is green.[(triple1)] Dave is nice.[(triple2)] Dave is red.[(triple3)] @1: Dave is quiet.[(((triple2) -> rule2))]