Erin is furry. Erin is nice. Erin is quiet. Erin is rough. Erin is round. Erin is smart. Erin is young. All young, round people are furry.
Erin is not young.
@0: Erin is furry.[(triple1 OR ((triple7 triple5) -> rule1))] Erin is nice.[(triple2)] Erin is quiet.[(triple3)] Erin is rough.[(triple4)] Erin is round.[(triple5)] Erin is smart.[(triple6)] Erin is young.[(triple7)]