premise: Jesus has only visited Lithuania, Zachary has only visited Grenada, Edward has only visited Libya, Mike has only visited Georgia, Hugh has only visited Turkmenistan, Julian has only visited Ukraine, Wesley has only visited Oman, Victor has only visited Serbia, Mark has only visited Ghana, Thomas has only visited Andorra
hypothesis: Thomas didn't visit Andorra