premise: Gordon has not visited Coulee Dam, Marvin has not visited Kalamazoo, Clarence has visited Hopewell and if Marvin has not visited Kalamazoo then Brian has visited Plattsmouth
hypothesis: Brian has not visited Plattsmouth