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 nice.
@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)]