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