Anne is white. Anne is young. Dave is green. Dave is nice. Dave is red. Dave is smart. Fiona is green. Fiona is nice. Fiona is red. Fiona is rough. Fiona is smart. Fiona is young. Gary is nice. Gary is rough. Gary is smart. Gary is young. If Dave is white then Dave is nice. If someone is nice then they are green. If someone is rough and red then they are white.
Dave is not green.