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