Erin is big. Erin is not cold. Erin is not green. Erin is nice. Erin is quiet. Erin is rough. Erin is not white. Gary is big. Gary is not cold. Gary is green. Gary is nice. Gary is quiet. Gary is rough. Gary is white. If someone is green then they are nice. If someone is green then they are nice. If someone is rough and cold then they are nice. All rough people are nice. If Gary is rough then Gary is nice. All quiet people are rough. All cold, rough people are quiet. If Erin is quiet and Erin is not nice then Erin is not big.
Erin is not nice.
@0: Erin is big.[(triple1)] Erin is nice.[(triple4 OR ((triple6) -> rule4) OR ((((triple5) -> rule6)) -> rule4))] Erin is not cold.[(triple2)] Erin is not green.[(triple3)] Erin is not white.[(triple7)] Erin is quiet.[(triple5)] Erin is rough.[(triple6 OR ((triple5) -> rule6))] Gary is big.[(triple8)] Gary is green.[(triple10)] Gary is nice.[(triple11 OR ((triple10) -> rule1) OR ((triple10) -> rule2) OR ((triple13) -> rule4) OR ((triple13) -> rule5) OR ((((triple12) -> rule6)) -> rule4) OR ((((triple12) -> rule6)) -> rule5))] Gary is not cold.[(triple9)] Gary is quiet.[(triple12)] Gary is rough.[(triple13 OR ((triple12) -> rule6))] Gary is white.[(triple14)]