premise: Felix has not visited Green Bay, Joe has visited Cadillac, Russell has not visited Costa Mesa and if Russell has visited Costa Mesa then Jay has visited Mount Pleasant
hypothesis: Jay has not visited Mount Pleasant