premise: Bryan has not visited Pittsfield, Javier has not visited White Sulphur Springs, Eduardo has visited Wahiawa and if Javier has not visited White Sulphur Springs then Angel has visited Guymon
hypothesis: Angel has not visited Guymon