premise: Corey has not visited Orangeburg, Dan has visited Buena Park, Steve has not visited Burlington and if Steve has not visited Burlington then Willard has not visited Royal Oak
hypothesis: Willard has not visited Royal Oak