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