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