Anne is big. Anne is blue. Anne is green. Anne is nice. Anne is red. Anne is rough. Anne is not smart. All smart people are blue. If someone is nice and not red then they are smart.
Anne is not blue.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is green.[(triple3)] Anne is nice.[(triple4)] Anne is not smart.[(triple7)] Anne is red.[(triple5)] Anne is rough.[(triple6)]