premise: Howard has only visited Dominican Republic, Karl has only visited Egypt, Mitchell has only visited Germany, Todd has only visited Ghana, Julio has only visited Eswatini, Charles has only visited Tuvalu, Armando has only visited Singapore, Marvin has only visited Greece, Roberto has only visited Equatorial Guinea
hypothesis: Marvin didn't visit Greece