Dave is blue. Dave is cold. Erin is big. Erin is cold. Erin is young. Gary is big. Gary is white. Big things are white. White things are cold.
Gary is not white.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2)] Erin is big.[(triple3)] Erin is cold.[(triple4 OR ((((triple3) -> rule1)) -> rule2))] Erin is young.[(triple5)] Gary is big.[(triple6)] Gary is white.[(triple7 OR ((triple6) -> rule1))] @1: Erin is white.[(((triple3) -> rule1))] Gary is cold.[(((triple7) -> rule2) OR ((((triple6) -> rule1)) -> rule2))]