Erin is big. Erin is blue. Erin is green. Erin is nice. Erin is rough. Erin is white. Erin is young. Rough people are nice. All white, blue people are green. If Erin is rough and Erin is white then Erin is green.
Erin is not white.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is green.[(triple3 OR ((triple5 triple6) -> rule3) OR ((triple6 triple2) -> rule2))] Erin is nice.[(triple4 OR ((triple5) -> rule1))] Erin is rough.[(triple5)] Erin is white.[(triple6)] Erin is young.[(triple7)]