premise: Joe has not visited Daytona Beach, Freddie has not visited Ocean Springs, Martin has visited Dixon and if Freddie has visited Ocean Springs then Mathew has visited Portsmouth
hypothesis: Mathew has not visited Portsmouth