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