premise: Marvin, Milton, Wade, Ernest, Lonnie, Arthur, Brad, Eddie, Neil, Kenneth, Julian, Anthony, Sidney, Herbert, Salvador, Joseph, Richard and Todd have only visited Liechtenstein
hypothesis: Kenneth didn't visit Liechtenstein