premise: James has not visited Mount Pleasant, Shane has visited Midland, Frank has visited McKeesport and if Frank has visited McKeesport then Darren has visited Point Roberts
hypothesis: Darren has not visited Point Roberts