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