premise: Mike has only visited Palestine, Jesus has only visited Nigeria, Franklin has only visited Portugal, Bobby has only visited Dominican Republic, Raymond has only visited Republic of the Congo, Steve has only visited Peru, Theodore has only visited El Salvador, Miguel has only visited São Tomé & Prícipe, Karl has only visited Iraq, Francis has only visited Brunei, Samuel has only visited Cabo
hypothesis: Franklin didn't visit Portugal