Anne is furry. Anne is green. Anne is not red. Anne is rough. Anne is smart. Anne is white. Anne is young. Erin is furry. Erin is green. Erin is red. Erin is rough. Erin is not smart. Erin is white. Erin is young. If Erin is green and Erin is smart then Erin is not white. If Anne is young and Anne is not smart then Anne is red.
Erin is not red.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is not red.[(triple3)] Anne is rough.[(triple4)] Anne is smart.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7)] Erin is furry.[(triple8)] Erin is green.[(triple9)] Erin is not smart.[(triple12)] Erin is red.[(triple10)] Erin is rough.[(triple11)] Erin is white.[(triple13)] Erin is young.[(triple14)]