Erin is big. Erin is furry. Erin is kind. Erin is nice. Erin is rough. Erin is round. Erin is young. Round things are young.
Erin is not nice.
@0: Erin is big.[(triple1)] Erin is furry.[(triple2)] Erin is kind.[(triple3)] Erin is nice.[(triple4)] Erin is rough.[(triple5)] Erin is round.[(triple6)] Erin is young.[(triple7 OR ((triple6) -> rule1))]