Erin is big. Erin is cold. Erin is furry. Erin is quiet. Erin is red. Erin is rough. Erin is young. All cold, young people are quiet.
Erin is not red.
@0: Erin is big.[(triple1)] Erin is cold.[(triple2)] Erin is furry.[(triple3)] Erin is quiet.[(triple4 OR ((triple2 triple7) -> rule1))] Erin is red.[(triple5)] Erin is rough.[(triple6)] Erin is young.[(triple7)]