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