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