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 not round.
@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)]