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