premise: Nicholas has not visited South San Francisco, Willie has not visited Osawatomie, Bryan has visited Saint Cloud and if Willie has not visited Osawatomie then Glen has visited Glendive
hypothesis: Glen has not visited Glendive