Erin is big. Erin is cold. Erin is green. Erin is red. Erin is rough. Gary is big. Gary is cold. Gary is green. Gary is red. Gary is rough. Gary is white. Gary is young. Young, green people are cold. If Gary is red then Gary is rough. If someone is cold then they are big. Green people are big. Rough people are big. Cold people are young.
Gary is not rough.
@0: Erin is big.[(triple1 OR ((triple2) -> rule3) OR ((triple3) -> rule4) OR ((triple5) -> rule5))] Erin is cold.[(triple2)] Erin is green.[(triple3)] Erin is red.[(triple4)] Erin is rough.[(triple5)] Gary is big.[(triple6 OR ((triple10) -> rule5) OR ((triple7) -> rule3) OR ((triple8) -> rule4) OR ((((triple9) -> rule2)) -> rule5) OR ((((triple12 triple8) -> rule1)) -> rule3))] Gary is cold.[(triple7 OR ((triple12 triple8) -> rule1))] Gary is green.[(triple8)] Gary is red.[(triple9)] Gary is rough.[(triple10 OR ((triple9) -> rule2))] Gary is white.[(triple11)] Gary is young.[(triple12 OR ((triple7) -> rule6))] @1: Erin is young.[(((triple2) -> rule6))]