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