premise: Fernando has not visited Decatur, Ron has not visited Palm Springs, Stephen has visited Barrington and if Ron has not visited Palm Springs then Philip has not visited Paris
hypothesis: Philip has not visited Paris