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