Alan is young. Alan is red. Alan is nice. Dave is nice. Dave is big. Fred is cold. Fred is big. Harry is kind. If someone is blue and big then they are young. If someone is big and cold then they are nice. If someone is nice and young and blue then they are red. If someone is green then they are young. If someone is nice and young and red then they are green. If someone is young and kind then they are big. If someone is nice and cold and big then they are blue.
Alan is not blue.