premise: Darryl has not visited Sausalito, Chester has not visited Rock Island, Floyd has visited North Adams and if Chester has not visited Rock Island then Richard has not visited Council Grove
hypothesis: Richard has not visited Council Grove