premise: Melvin has not visited Minneapolis, Leon has not visited East Saint Louis, Jerome has visited Worthington and if Leon has visited East Saint Louis then Sam has visited Ocean Springs
hypothesis: Sam has visited Ocean Springs