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