premise: Benjamin has not visited Casa Grande, Thomas has visited Norwalk, Jeffery has visited Chelmsford and if Thomas has visited Norwalk then Troy has visited Port Washington
hypothesis: Troy has visited Port Washington