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 young.
@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)]