Erin is blue. Erin is cold. Erin is green. Erin is nice. Erin is red. Erin is rough. Erin is white. Rough things are red.
Erin is green.
@0: Erin is blue.[(triple1)] Erin is cold.[(triple2)] Erin is green.[(triple3)] Erin is nice.[(triple4)] Erin is red.[(triple5 OR ((triple6) -> rule1))] Erin is rough.[(triple6)] Erin is white.[(triple7)]