Erin is big. Erin is blue. Erin is cold. If someone is blue then they are white.
Erin is not white.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is cold.[(triple3)] @1: Erin is white.[(((triple2) -> rule1))]