Dave is quiet. Erin is not quiet. Gary is kind. If Dave is white and Dave is not kind then Dave is not green. If someone is red and not quiet then they are not blue. If Dave is kind then Dave is not red.
Dave is not kind.
@0: Dave is quiet.[(triple1)] Erin is not quiet.[(triple2)] Gary is kind.[(triple3)]