Dave is blue. Dave is quiet. Dave is white. Green, blue things are furry. If Dave is white then Dave is red. All red things are furry.
Dave is not quiet.
@0: Dave is blue.[(triple1)] Dave is quiet.[(triple2)] Dave is white.[(triple3)] @1: Dave is red.[(((triple3) -> rule2))] @2: Dave is furry.[(((((triple3) -> rule2)) -> rule3))]