premise: Christian, Jaime, Kevin, Calvin, Nelson, Travis, Felix, Herman, Nicholas, Harold, Brent, Wesley, Justin, Allan, Samuel, Dustin, Don, Jeffery and Nathan have only visited Pakistan
hypothesis: Travis didn't visit Pakistan