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