Anne is not nice. Erin is blue. Gary is blue. Harry is white. If someone is big and not nice then they are red.
Gary is not blue.
@0: Anne is not nice.[(triple1)] Erin is blue.[(triple2)] Gary is blue.[(triple3)] Harry is white.[(triple4)]