Erin is green. Erin is quiet. Erin is red. Erin is rough. Erin is round. Erin is white. Erin is young. Rough, quiet people are white.
Erin is not quiet.
@0: Erin is green.[(triple1)] Erin is quiet.[(triple2)] Erin is red.[(triple3)] Erin is rough.[(triple4)] Erin is round.[(triple5)] Erin is white.[(triple6 OR ((triple4 triple2) -> rule1))] Erin is young.[(triple7)]