premise: Alfred has not visited Cocoa Beach, Dale has not visited Cohoes, Cody has visited Merced and if Alfred has not visited Cocoa Beach then Joseph has not visited East Greenwich
hypothesis: Joseph has not visited East Greenwich