Anne is blue. Anne is kind. Anne is nice. Anne is rough. Anne is smart. Anne is white. Erin is kind. Erin is nice. Erin is smart. Erin is white. All blue people are cold.
Erin is not cold.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is rough.[(triple4)] Anne is smart.[(triple5)] Anne is white.[(triple6)] Erin is kind.[(triple7)] Erin is nice.[(triple8)] Erin is smart.[(triple9)] Erin is white.[(triple10)] @1: Anne is cold.[(((triple1) -> rule1))]