premise: Fred has only visited Nicaragua, Ecuador, Austria, Pakistan, Belarus, Russia, Monaco, Spain, Mexico, Luxembourg, Belize, Angola, Slovenia, Indonesia, Senegal, Tuvalu and New Zealand
hypothesis: Kevin didn't visit Slovenia