Erin is not big. Erin is blue. Erin is furry. Erin is green. Erin is nice. Erin is quiet. Erin is smart. Green things are quiet. If something is nice and not quiet then it is not big.
Erin is big.
@0: Erin is blue.[(triple2)] Erin is furry.[(triple3)] Erin is green.[(triple4)] Erin is nice.[(triple5)] Erin is not big.[(triple1)] Erin is quiet.[(triple6 OR ((triple4) -> rule1))] Erin is smart.[(triple7)]