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 not smart.
@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))]