Anne is big. Bob is young. Gary is rough. Harry is not green. If something is young then it is not kind. If something is big and not white then it is nice. If Gary is not white and Gary is not big then Gary is not nice. Rough things are green. If something is young and big then it is not white. Big things are rough. If Bob is nice then Bob is green. If something is young and not green then it is not white.
Gary is not nice.