Anne is blue. Anne is cold. Anne is furry. Anne is kind. Anne is red. Anne is rough. Erin is blue. Erin is cold. Erin is kind. Erin is red. Erin is not rough. Erin is smart. If Erin is red and Erin is not furry then Erin is not kind.
Anne is not red.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is kind.[(triple4)] Anne is red.[(triple5)] Anne is rough.[(triple6)] Erin is blue.[(triple7)] Erin is cold.[(triple8)] Erin is kind.[(triple9)] Erin is not rough.[(triple11)] Erin is red.[(triple10)] Erin is smart.[(triple12)]