premise: Adam has not visited Oak Ridge, Todd has not visited Crystal City, Greg has visited Monterey and if Adam has not visited Oak Ridge then Bob has not visited Saint Ignace
hypothesis: Bob has not visited Saint Ignace