premise: Perry has not visited Gaffney, Martin has not visited Prineville, Leroy has visited Natick and if Martin has not visited Prineville then Dustin has not visited Watertown
hypothesis: Dustin has not visited Watertown