Dave is big. Fiona is big. Gary is big. Harry is big. If Harry is nice and Harry is blue then Harry is white.
Harry is not white.
@0: Dave is big.[(triple1)] Fiona is big.[(triple2)] Gary is big.[(triple3)] Harry is big.[(triple4)]