premise: Neil has not visited West Springfield, Mike has not visited La Habra, Roberto has visited Los Alamos and if Neil has visited West Springfield then Bill has visited New Hampshire
hypothesis: Bill has visited New Hampshire