premise: Jacob has not visited Washington, Herbert has not visited Starkville, Marion has visited Springville and if Jacob has not visited Washington then Gordon has not visited Urbana
hypothesis: Gordon has not visited Urbana