Bob is green. Dave is big. Gary is smart. Big things are white. If something is big and nice then it is green. All white, round things are big. All red, nice things are round. If something is round then it is nice. If something is white then it is red. Nice things are round. If Dave is red and Dave is big then Dave is round.
Dave is not red.