Dave is big. Fiona is kind. Gary is smart. Harry is big. All red people are round.
Dave is not round.
@0: Dave is big.[(triple1)] Fiona is kind.[(triple2)] Gary is smart.[(triple3)] Harry is big.[(triple4)]