Erin is big. Erin is blue. Erin is green. Erin is red. Erin is round. Erin is white. Erin is young. Green, blue people are round. Red people are young.
Erin is not red.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is green.[(triple3)] Erin is red.[(triple4)] Erin is round.[(triple5 OR ((triple3 triple2) -> rule1))] Erin is white.[(triple6)] Erin is young.[(triple7 OR ((triple4) -> rule2))]