Erin is red. Red things are nice. If Erin is nice then Erin is cold. If Erin is cold then Erin is big.
Erin is big.
@0: Erin is red.[(triple1)] @1: Erin is nice.[(((triple1) -> rule1))] @2: Erin is cold.[(((((triple1) -> rule1)) -> rule2))] @3: Erin is big.[(((((((triple1) -> rule1)) -> rule2)) -> rule3))]