Alan is rough. Alan is red. Alan is kind. Alan is big. Bob is red. Bob is kind. Bob is cold. Bob is big. Dave is cold. Dave is big. Gary is cold. If someone is red and kind then they are nice. If someone is blue and cold and round then they are kind. If someone is rough and nice then they are blue. If someone is cold and rough then they are red. If someone is nice and blue and big then they are round.
Dave is not red.