Anne is green. Anne is round. Bob is green. Bob is quiet. Dave is cold. Dave is red. Dave is rough. Dave is white. Gary is green. Gary is white. If something is red then it is white.
Dave is not white.