premise: Everyone has visited Mozambique, Tanzania, Guinea-Bissau, Tonga, Moldova, Nigeria, Chile, Algeria, Kenya, Trinidad & Tobago, Barbados, Panama, Cuba, Haiti, Greece and Sierra Leone
hypothesis: Joseph didn't visit Tonga