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