Bob is cold. Bob is furry. Bob is quiet. Charlie is furry. Charlie is quiet. Dave is not cold. Gary is not big. Gary is blue. Gary is cold. Gary is green. If someone is not furry then they are not red. All furry people are red. All big people are not cold. If someone is red then they are green. If someone is green and not blue then they are cold. If someone is red and not cold then they are quiet.
Dave is not red.