premise: Kurt has not visited White Plains, Salvador has not visited Morristown, Alfredo has visited Sheridan and if Salvador has not visited Morristown then Marc has visited Falls Church
hypothesis: Marc has not visited Falls Church