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.
Dave is quiet.
@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)]