Charlie is blue. Charlie is cold. Charlie is red. Charlie is rough. Charlie is white. Charlie is young. Dave is blue. Dave is cold. Dave is furry. Dave is red. Dave is white. Dave is young. All furry things are white. If something is blue and cold then it is rough. All furry things are young. Blue, red things are furry. If Charlie is young and Charlie is furry then Charlie is red. If Dave is white then Dave is cold.
Dave is not blue.