Dave is not white. Erin is nice. Harry is blue. If Erin is big and Erin is not kind then Erin is blue. If something is nice and green then it is not white. If something is nice and not green then it is blue.
Dave is green.
@0: Dave is not white.[(triple1)] Erin is nice.[(triple2)] Harry is blue.[(triple3)]