Dave is kind. Erin is blue. Erin is green. Erin is kind. Erin is rough. Erin is white. Fiona is big. Fiona is green. Gary is kind. Gary is white. If someone is white then they are cold. All white, cold people are rough.
Gary is not cold.
@0: Dave is kind.[(triple1)] Erin is blue.[(triple2)] Erin is green.[(triple3)] Erin is kind.[(triple4)] Erin is rough.[(triple5 OR ((triple6 ((triple6) -> rule1)) -> rule2))] Erin is white.[(triple6)] Fiona is big.[(triple7)] Fiona is green.[(triple8)] Gary is kind.[(triple9)] Gary is white.[(triple10)] @1: Erin is cold.[(((triple6) -> rule1))] Gary is cold.[(((triple10) -> rule1))] @2: Gary is rough.[(((triple10 ((triple10) -> rule1)) -> rule2))]