premise: Dwayne has only visited Lithuania, Alfredo has only visited Angola, Guy has only visited Malaysia, Ron has only visited Barbados, Steve has only visited Haiti, Matthew has only visited Tuvalu, Patrick has only visited Cambodia
hypothesis: Matthew didn't visit Tuvalu