Anne is white. Dave is green. Erin is furry. Harry is big. If something is furry then it is cold. Green things are rough. All rough things are furry.
Dave is not cold.
@0: Anne is white.[(triple1)] Dave is green.[(triple2)] Erin is furry.[(triple3)] Harry is big.[(triple4)] @1: Dave is rough.[(((triple2) -> rule2))] Erin is cold.[(((triple3) -> rule1))] @2: Dave is furry.[(((((triple2) -> rule2)) -> rule3))] @3: Dave is cold.[(((((((triple2) -> rule2)) -> rule3)) -> rule1))]