Dave is cold. Dave is green. Dave is quiet. Red people are round. All green people are blue. If Dave is cold then Dave is red. Quiet people are smart. Smart, quiet people are round. Blue, quiet people are green. If someone is quiet then they are green. All green people are quiet.
Dave is not blue.