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