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