Erin is furry. Erin is green. Erin is nice. Erin is quiet. Erin is rough. Erin is round. Erin is white. If someone is nice and round then they are quiet.
Erin is not green.
@0: Erin is furry.[(triple1)] Erin is green.[(triple2)] Erin is nice.[(triple3)] Erin is quiet.[(triple4 OR ((triple3 triple6) -> rule1))] Erin is rough.[(triple5)] Erin is round.[(triple6)] Erin is white.[(triple7)]