premise: Mario has only visited France, Julio has only visited Austria, Gary has only visited Iraq, Carlos has only visited Ukraine, Jeff has only visited The Bahamas, Clayton has only visited Rwanda, Lewis has only visited New Zealand, Vernon has only visited Nicaragua, James has only visited Laos, Darrell has only visited Philippines, Steve has only visited Sierra Leone, Jimmie has only visited Gambia
hypothesis: Mario didn't visit Paraguay