Anne is cold. Charlie is furry. Charlie is rough. Erin is big. Erin is blue. Erin is nice. Erin is white. Gary is big. Gary is cold. Gary is rough. All nice, rough people are white. If someone is nice then they are furry. Big people are cold. If someone is cold then they are nice. All cold, nice people are white. If Charlie is rough then Charlie is blue. If someone is white then they are nice. All rough, big people are nice.
Gary is not rough.
@0: Anne is cold.[(triple1)] Charlie is furry.[(triple2)] Charlie is rough.[(triple3)] Erin is big.[(triple4)] Erin is blue.[(triple5)] Erin is nice.[(triple6 OR ((triple7) -> rule7) OR ((((triple4) -> rule3)) -> rule4))] Erin is white.[(triple7 OR ((((triple4) -> rule3) triple6) -> rule5) OR ((((triple4) -> rule3) ((((triple4) -> rule3)) -> rule4)) -> rule5))] Gary is big.[(triple8)] Gary is cold.[(triple9 OR ((triple8) -> rule3))] Gary is rough.[(triple10)] @1: Anne is nice.[(((triple1) -> rule4))] Charlie is blue.[(((triple3) -> rule6))] Erin is cold.[(((triple4) -> rule3))] Erin is furry.[(((triple6) -> rule2) OR ((((triple7) -> rule7)) -> rule2) OR ((((((triple4) -> rule3)) -> rule4)) -> rule2))] Gary is nice.[(((triple9) -> rule4) OR ((triple10 triple8) -> rule8) OR ((((triple8) -> rule3)) -> rule4))] @2: Anne is furry.[(((((triple1) -> rule4)) -> rule2))] Anne is white.[(((triple1 ((triple1) -> rule4)) -> rule5))] Gary is furry.[(((((triple9) -> rule4)) -> rule2) OR ((((triple10 triple8) -> rule8)) -> rule2) OR ((((((triple8) -> rule3)) -> rule4)) -> rule2))] Gary is white.[(((triple9 ((triple9) -> rule4)) -> rule5) OR ((triple9 ((triple10 triple8) -> rule8)) -> rule5) OR ((((triple9) -> rule4) triple10) -> rule1) OR ((((triple10 triple8) -> rule8) triple10) -> rule1) OR ((((triple8) -> rule3) ((triple9) -> rule4)) -> rule5) OR ((((triple8) -> rule3) ((triple10 triple8) -> rule8)) -> rule5) OR ((triple9 ((((triple8) -> rule3)) -> rule4)) -> rule5) OR ((((((triple8) -> rule3)) -> rule4) triple10) -> rule1) OR ((((triple8) -> rule3) ((((triple8) -> rule3)) -> rule4)) -> rule5))]