Bob is quiet. Dave is not blue. Dave is red. Erin is blue. Erin is rough. Erin is round. Gary is quiet. If someone is rough and blue then they are nice. If someone is not rough then they are red. All rough people are blue. If someone is not rough then they are not blue. If Bob is cold then Bob is nice. All nice people are quiet. If someone is round and red then they are nice. If someone is cold and not nice then they are round.
Dave is blue.