Erin is cold. Erin is furry. Erin is green. Erin is quiet. Erin is rough. Erin is round. Erin is young. Green things are young. If Erin is round then Erin is young. All round things are young.
Erin is not green.
@0: Erin is cold.[(triple1)] Erin is furry.[(triple2)] Erin is green.[(triple3)] Erin is quiet.[(triple4)] Erin is rough.[(triple5)] Erin is round.[(triple6)] Erin is young.[(triple7 OR ((triple3) -> rule1) OR ((triple6) -> rule2) OR ((triple6) -> rule3))]