Bob is young. Bob is rough. Bob is cold. Bob is big. Charlie is nice. Charlie is big. Dave is young. Dave is round. Dave is nice. Fred is nice. Fred is green. Fred is blue. If someone is cold and kind and red then they are blue. If someone is cold then they are red. If someone is red and rough then they are blue. If someone is blue and big then they are green. If someone is green and blue then they are cold. If someone is green then they are cold. If someone is green and young then they are blue.
Bob is not blue.