premise: Salvador has not visited Sunbury, Lawrence has visited Nome, Gilbert has not visited Elizabeth City and if Gilbert has not visited Elizabeth City then Arnold has visited Trinidad
hypothesis: Arnold has visited Trinidad