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