Erin is not cold. Erin is not green. Erin is red. Erin is rough. Erin is smart. Erin is white. Erin is young. If someone is young then they are red. Rough, green people are red. Cold, young people are green.
Erin is rough.
@0: Erin is not cold.[(triple1)] Erin is not green.[(triple2)] Erin is red.[(triple3 OR ((triple7) -> rule1))] Erin is rough.[(triple4)] Erin is smart.[(triple5)] Erin is white.[(triple6)] Erin is young.[(triple7)]