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 red.
@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))]