Anne is white. Dave is white. Harry is white. All rough things are round. All white things are young. If Dave is young then Dave is big. Big, white things are green. If Anne is young then Anne is white. If something is white then it is furry.
Dave is green.
@0: Anne is white.[(triple1)] Dave is white.[(triple2)] Harry is white.[(triple3)] @1: Anne is furry.[(((triple1) -> rule6))] Anne is young.[(((triple1) -> rule2))] Dave is furry.[(((triple2) -> rule6))] Dave is young.[(((triple2) -> rule2))] Harry is furry.[(((triple3) -> rule6))] Harry is young.[(((triple3) -> rule2))] @2: Dave is big.[(((((triple2) -> rule2)) -> rule3))] @3: Dave is green.[(((((((triple2) -> rule2)) -> rule3) triple2) -> rule4))]