premise: Brandon has not visited Little Rock, Harry has not visited Naperville, Karl has visited Gastonia and if Harry has not visited Naperville then Jimmy has not visited Wailuku
hypothesis: Jimmy has not visited Wailuku