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