premise: Gary has not visited Yonkers, Roger has visited Columbus, Kenneth has not visited Miles City and if Kenneth has not visited Miles City then Joseph has visited Salt Lake City
hypothesis: Joseph has visited Salt Lake City