premise: Charles has not visited Stillwater, Jonathan has not visited Port Hueneme, Byron has visited Sanford and if Charles has visited Stillwater then Allan has visited Cedar City
hypothesis: Allan has visited Cedar City