premise: Jason has only visited Lithuania, Greg has only visited Gabon, Terrance has only visited Dominican Republic, Kenneth has only visited Bosnia & Herzegovinia, Joe has only visited Barbados, Jorge has only visited Federated States of Micronesia, Lloyd has only visited Israel, Floyd has only visited Nigeria, Ivan has only visited Luxembourg, Christopher has only visited Maldives, Enrique has only visited Belgium, Steve has only visited Estonia
hypothesis: Terrance didn't visit North Korea