Erin is big. Erin is furry. Erin is kind. Erin is nice. Erin is rough. Erin is smart. Erin is white. All white things are rough. All rough things are furry. If something is white then it is kind. All big things are nice. All smart, kind things are furry. If something is big and furry then it is rough.
Erin is kind.
@0: Erin is big.[(triple1)] Erin is furry.[(triple2 OR ((triple5) -> rule2) OR ((triple6 triple3) -> rule5) OR ((((triple7) -> rule1)) -> rule2) OR ((triple6 ((triple7) -> rule3)) -> rule5))] Erin is kind.[(triple3 OR ((triple7) -> rule3))] Erin is nice.[(triple4 OR ((triple1) -> rule4))] Erin is rough.[(triple5 OR ((triple7) -> rule1) OR ((triple1 triple2) -> rule6) OR ((triple1 ((triple6 triple3) -> rule5)) -> rule6) OR ((triple1 ((triple6 ((triple7) -> rule3)) -> rule5)) -> rule6))] Erin is smart.[(triple6)] Erin is white.[(triple7)]