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