Bob is furry. Erin is white. If something is big then it is cold. All white things are big. If something is white then it is furry.
Erin is not cold.
@0: Bob is furry.[(triple1)] Erin is white.[(triple2)] @1: Erin is big.[(((triple2) -> rule2))] Erin is furry.[(((triple2) -> rule3))] @2: Erin is cold.[(((((triple2) -> rule2)) -> rule1))]