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.
Harry is not round.
@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)]