Dave is smart. Fiona is nice. Gary is not green. Harry is nice. All green people are big.
Gary is cold.
@0: Dave is smart.[(triple1)] Fiona is nice.[(triple2)] Gary is not green.[(triple3)] Harry is nice.[(triple4)]