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