Erin is big. Erin is green. Erin is kind. Erin is quiet. Erin is rough. Erin is not smart. Erin is young. If someone is rough then they are big. All smart, young people are green.
Erin is not green.
@0: Erin is big.[(triple1 OR ((triple5) -> rule1))] Erin is green.[(triple2)] Erin is kind.[(triple3)] Erin is not smart.[(triple6)] Erin is quiet.[(triple4)] Erin is rough.[(triple5)] Erin is young.[(triple7)]