Anne is white. Fiona is furry. If Anne is white then Anne is cold. If something is cold then it is young. If something is young then it is furry.
Anne is white.
@0: Anne is white.[(triple1)] Fiona is furry.[(triple2)] @1: Anne is cold.[(((triple1) -> rule1))] @2: Anne is young.[(((((triple1) -> rule1)) -> rule2))] @3: Anne is furry.[(((((((triple1) -> rule1)) -> rule2)) -> rule3))]