Erin is big. Erin is green. Erin is red. Erin is rough. Erin is smart. Erin is white. Erin is young. Rough, red things are green. Young, smart things are green.
Erin is not white.
@0: Erin is big.[(triple1)] Erin is green.[(triple2 OR ((triple4 triple3) -> rule1) OR ((triple7 triple5) -> rule2))] Erin is red.[(triple3)] Erin is rough.[(triple4)] Erin is smart.[(triple5)] Erin is white.[(triple6)] Erin is young.[(triple7)]