Dave is blue. Dave is furry. Harry is white. Furry people are round. If someone is round and white then they are green. Blue, round people are quiet.
Dave is blue.
@0: Dave is blue.[(triple1)] Dave is furry.[(triple2)] Harry is white.[(triple3)] @1: Dave is round.[(((triple2) -> rule1))] @2: Dave is quiet.[(((triple1 ((triple2) -> rule1)) -> rule3))]