Bob is furry. Dave is rough. Harry is blue. Blue things are green. All blue, rough things are quiet. All blue things are rough. Furry things are quiet. If Dave is green then Dave is round. If Dave is big then Dave is rough.
Dave is not round.
@0: Bob is furry.[(triple1)] Dave is rough.[(triple2)] Harry is blue.[(triple3)] @1: Bob is quiet.[(((triple1) -> rule4))] Harry is green.[(((triple3) -> rule1))] Harry is rough.[(((triple3) -> rule3))] @2: Harry is quiet.[(((triple3 ((triple3) -> rule3)) -> rule2))]