Erin is big. Erin is not cold. Erin is green. Erin is not nice. Erin is round. Erin is white. Erin is not young. All white, young people are round. If someone is cold then they are green. If someone is round and not young then they are big.
Erin is green.
@0: Erin is big.[(triple1 OR ((triple5 triple7) -> rule3))] Erin is green.[(triple3)] Erin is not cold.[(triple2)] Erin is not nice.[(triple4)] Erin is not young.[(triple7)] Erin is round.[(triple5)] Erin is white.[(triple6)]