premise: George has not visited Moses Lake, Arthur has not visited Louisville, Frederick has visited Bloomington and if Arthur has visited Louisville then Travis has visited Sierra Vista
hypothesis: Travis has not visited Sierra Vista