premise: Derrick has not visited North Las Vegas, Jeremy has not visited Carson City, Wallace has visited Reading and if Derrick has not visited North Las Vegas then Eduardo has visited Lake Wales
hypothesis: Eduardo has visited Lake Wales