Dave is young. Erin is young. Gary is smart. If someone is young then they are cold. If someone is blue and smart then they are cold. If someone is young and cold then they are white.
Erin is not cold.
@0: Dave is young.[(triple1)] Erin is young.[(triple2)] Gary is smart.[(triple3)] @1: Dave is cold.[(((triple1) -> rule1))] Erin is cold.[(((triple2) -> rule1))] @2: Dave is white.[(((triple1 ((triple1) -> rule1)) -> rule3))] Erin is white.[(((triple2 ((triple2) -> rule1)) -> rule3))]