Erin is blue. Erin is cold. Erin is green. Erin is kind. Erin is red. Erin is smart. Erin is white. Green, red things are white.
Erin is not blue.
@0: Erin is blue.[(triple1)] Erin is cold.[(triple2)] Erin is green.[(triple3)] Erin is kind.[(triple4)] Erin is red.[(triple5)] Erin is smart.[(triple6)] Erin is white.[(triple7 OR ((triple3 triple5) -> rule1))]