Bob is blue. Bob is cold. Bob is furry. Bob is nice. Bob is quiet. Dave is big. Dave is blue. Dave is not cold. Dave is furry. Dave is nice. Dave is quiet. Dave is red. All furry, quiet people are red. If Dave is blue and Dave is big then Dave is quiet. All red, blue people are big. Blue, cold people are nice. Quiet people are blue. If someone is big then they are furry. Quiet people are red. If Bob is cold and Bob is not blue then Bob is quiet.
Dave is red.