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