Dave is green. Dave is kind. Dave is nice. Dave is white. Fiona is blue. Fiona is kind. Fiona is white. Gary is blue. Gary is not nice. Gary is smart. If something is smart and white then it is not green. Nice things are white. Smart things are blue. If something is red and not green then it is kind. If something is not green then it is smart. Blue, red things are smart. If something is red then it is nice. If Gary is green and Gary is not nice then Gary is not kind.
Dave is red.