Anne is white. Erin is cold. Gary is big. Red people are rough. All red people are white. All big people are red. All cold people are red. White people are cold. If Erin is white and Erin is big then Erin is cold.
Erin is young.
@0: Anne is white.[(triple1)] Erin is cold.[(triple2)] Gary is big.[(triple3)] @1: Anne is cold.[(((triple1) -> rule5))] Erin is red.[(((triple2) -> rule4))] Gary is red.[(((triple3) -> rule3))] @2: Anne is red.[(((((triple1) -> rule5)) -> rule4))] Erin is rough.[(((((triple2) -> rule4)) -> rule1))] Erin is white.[(((((triple2) -> rule4)) -> rule2))] Gary is rough.[(((((triple3) -> rule3)) -> rule1))] Gary is white.[(((((triple3) -> rule3)) -> rule2))] @3: Anne is rough.[(((((((triple1) -> rule5)) -> rule4)) -> rule1))] Gary is cold.[(((((((triple3) -> rule3)) -> rule2)) -> rule5))]