premise: Richard has not visited Reston, Phillip has not visited Arlington, Don has visited Carrollton and if Phillip has not visited Arlington then David has not visited Middletown
hypothesis: David has not visited Middletown