premise: Julian has only visited Jamaica, Calvin has only visited Singapore, Melvin has only visited Montenegro, Lawrence has only visited Switzerland, Tyrone has only visited Ethiopia
hypothesis: Calvin didn't visit Liberia