premise: Tommy has only visited Guinea, George has only visited Vietnam, Virgil has only visited Vatican City, Marion has only visited Sierra Leone, Herman has only visited Afghanistan, Joe has only visited Jordan, Charles has only visited Armenia, Milton has only visited Nigeria, Casey has only visited China
hypothesis: George didn't visit Vietnam