Bob is green. Dave is red. Gary is not red. Harry is quiet. Smart, green people are nice. Quiet people are red. All nice people are quiet. If someone is nice then they are quiet. If someone is green then they are smart. If someone is not red then they are blue. If someone is green and not smart then they are kind. If Gary is nice and Gary is not red then Gary is quiet.
Dave is not blue.