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