Erin is big. Erin is green. Erin is nice. Erin is quiet. Erin is red. Erin is rough. Erin is young. Nice things are young.
Erin is not big.
@0: Erin is big.[(triple1)] Erin is green.[(triple2)] Erin is nice.[(triple3)] Erin is quiet.[(triple4)] Erin is red.[(triple5)] Erin is rough.[(triple6)] Erin is young.[(triple7 OR ((triple3) -> rule1))]