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