Erin is big. Erin is furry. Erin is green. Erin is quiet. Erin is red. Erin is white. Erin is young. Big, white things are green. If something is green and not young then it is white.
Erin is young.
@0: Erin is big.[(triple1)] Erin is furry.[(triple2)] Erin is green.[(triple3 OR ((triple1 triple6) -> rule1))] Erin is quiet.[(triple4)] Erin is red.[(triple5)] Erin is white.[(triple6)] Erin is young.[(triple7)]