premise: Jim has only visited Cuba, Gary has only visited Oman, Mario has only visited Republic of the Congo, Larry has only visited Trinidad & Tobago, Earl has only visited United Kingdom, Bob has only visited China, David has only visited Japan, Howard has only visited Armenia
hypothesis: Mario didn't visit Egypt