premise: Benjamin has not visited Cocoa-Rockledge, Christian has not visited Bardstown, Wade has visited Salem and if Benjamin has visited Cocoa-Rockledge then Alex has visited Sheffield
hypothesis: Alex has visited Sheffield