Erin is furry. Erin is kind. Erin is red. Erin is rough. Erin is round. Erin is white. Erin is young. If Erin is young and Erin is red then Erin is round.
Erin is round.
@0: Erin is furry.[(triple1)] Erin is kind.[(triple2)] Erin is red.[(triple3)] Erin is rough.[(triple4)] Erin is round.[(triple5 OR ((triple7 triple3) -> rule1))] Erin is white.[(triple6)] Erin is young.[(triple7)]