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