premise: Matthew has not visited Brooklyn, Dennis has visited West Bridgewater, Marshall has not visited Marion and if Marshall has not visited Marion then Tyler has not visited Put-in-Bay
hypothesis: Tyler has not visited Put-in-Bay