Anne is furry. Bob is young. Rough, quiet things are furry. If Anne is furry and Anne is quiet then Anne is rough. If Bob is young then Bob is quiet. If something is young then it is rough. Nice, quiet things are cold. If Anne is cold then Anne is rough.
Anne is not young.
@0: Anne is furry.[(triple1)] Bob is young.[(triple2)] @1: Bob is quiet.[(((triple2) -> rule3))] Bob is rough.[(((triple2) -> rule4))] @2: Bob is furry.[(((((triple2) -> rule4) ((triple2) -> rule3)) -> rule1))]