Anne is blue. Anne is nice. Anne is red. Anne is rough. Anne is round. Anne is smart. Dave is round. Dave is smart. Dave is young. Erin is red. All young, red people are round. All red, young people are round.
Anne is not blue.
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4)] Anne is round.[(triple5)] Anne is smart.[(triple6)] Dave is round.[(triple7)] Dave is smart.[(triple8)] Dave is young.[(triple9)] Erin is red.[(triple10)]