Anne is furry. Dave is big. If Anne is furry then Anne is round. All round things are big. If Anne is big then Anne is smart.
Anne is cold.
@0: Anne is furry.[(triple1)] Dave is big.[(triple2)] @1: Anne is round.[(((triple1) -> rule1))] @2: Anne is big.[(((((triple1) -> rule1)) -> rule2))] @3: Anne is smart.[(((((((triple1) -> rule1)) -> rule2)) -> rule3))]