premise: Tony has not visited Spanish Fork, Bill has not visited Yuba City, Jimmie has visited Leominster and if Bill has visited Yuba City then Edward has visited Santa Clarita
hypothesis: Edward has not visited Santa Clarita