Erin is big. Erin is furry. Erin is green. Erin is red. Erin is rough. Erin is smart. Erin is white. White, green people are furry. White, green people are furry. All red, smart people are green.
Erin is not furry.
@0: Erin is big.[(triple1)] Erin is furry.[(triple2 OR ((triple7 triple3) -> rule1) OR ((triple7 triple3) -> rule2) OR ((triple7 ((triple4 triple6) -> rule3)) -> rule1) OR ((triple7 ((triple4 triple6) -> rule3)) -> rule2))] Erin is green.[(triple3 OR ((triple4 triple6) -> rule3))] Erin is red.[(triple4)] Erin is rough.[(triple5)] Erin is smart.[(triple6)] Erin is white.[(triple7)]