Erin is cold. Harry is white. Cold, white things are not big. All cold things are white.
Erin is not white.
@0: Erin is cold.[(triple1)] Harry is white.[(triple2)] @1: Erin is white.[(((triple1) -> rule2))] @2: Erin is not big.[(((triple1 ((triple1) -> rule2)) -> rule1))]