premise: Lance, Jack, Todd, Christian, Troy, Joe, Benjamin, Greg, Curtis, Ernest, Theodore, Norman, Charles, Michael, Ricardo, Lewis, Phillip and Javier have only visited Costa Rica
hypothesis: Theodore didn't visit Costa Rica