premise: Willard has not visited Irvine, Mathew has not visited North Las Vegas, Barry has visited Sheffield and if Willard has not visited Irvine then Oscar has visited Fall River
hypothesis: Oscar has not visited Fall River