premise: Stephen has not visited Edison, Jerry has not visited Aliquippa, Mathew has visited Williston and if Stephen has not visited Edison then Clarence has visited Ogdensburg
hypothesis: Clarence has not visited Ogdensburg