premise: Francis has only visited Morocco, Ronnie has only visited Cabo, Mark has only visited China, Pedro has only visited Eritrea, Andre has only visited Senegal, Rick has only visited San Mmarino, Terrence has only visited Azerbaijan
hypothesis: Terrence didn't visit North Korea