premise: Michael has not visited Adrian, Morris has visited Coney Island, Chad has visited Cocoa-Rockledge and if Chad has visited Cocoa-Rockledge then Kent has visited West Lafayette
hypothesis: Kent has not visited West Lafayette