premise: Stephen has not visited Ontario, Roberto has not visited Hastings, Jordan has visited Greensboro and if Stephen has not visited Ontario then Walter has not visited Altoona
hypothesis: Walter has not visited Altoona