Erin is blue. Erin is cold. Erin is green. Erin is kind. Erin is quiet. Erin is rough. Erin is smart. All quiet, blue people are cold.
Erin is not blue.
@0: Erin is blue.[(triple1)] Erin is cold.[(triple2 OR ((triple5 triple1) -> rule1))] Erin is green.[(triple3)] Erin is kind.[(triple4)] Erin is quiet.[(triple5)] Erin is rough.[(triple6)] Erin is smart.[(triple7)]