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