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