premise: Stephen has only visited United States, Adrian has only visited Iraq, Armando has only visited Belize, Arthur has only visited Oman, Robert has only visited Guatemala, Angel has only visited Slovakia, Johnny has only visited Uzbekistan
hypothesis: Arthur didn't visit Oman