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