Anne is blue. Anne is not furry. Anne is not green. Anne is nice. Anne is not red. Anne is rough. Anne is not round. Erin is not green. Erin is rough. Erin is round. All furry people are round. If Erin is not round and Erin is not rough then Erin is green.
Erin is round.
@0: Anne is blue.[(triple1)] Anne is nice.[(triple4)] Anne is not furry.[(triple2)] Anne is not green.[(triple3)] Anne is not red.[(triple5)] Anne is not round.[(triple7)] Anne is rough.[(triple6)] Erin is not green.[(triple8)] Erin is rough.[(triple9)] Erin is round.[(triple10)]