Anne is red. Anne is rough. Anne is smart. Dave is quiet. Gary is smart. Harry is red. Harry is rough. All nice, blue things are round.
Anne is not red.
@0: Anne is red.[(triple1)] Anne is rough.[(triple2)] Anne is smart.[(triple3)] Dave is quiet.[(triple4)] Gary is smart.[(triple5)] Harry is red.[(triple6)] Harry is rough.[(triple7)]