premise: Charlie has visited Fairfield, Ryan has not visited Chapel Hill, Bernard has visited Des Plaines and if Charlie has visited Fairfield then Corey has visited Council Bluffs
hypothesis: Corey has not visited Council Bluffs