Dave is nice. Dave is white. Fiona is nice. Gary is quiet. Gary is red. Gary is smart. Harry is quiet. All young things are nice.
Gary is not quiet.
@0: Dave is nice.[(triple1)] Dave is white.[(triple2)] Fiona is nice.[(triple3)] Gary is quiet.[(triple4)] Gary is red.[(triple5)] Gary is smart.[(triple6)] Harry is quiet.[(triple7)]