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