premise: Bill has not visited Gardiner, Charlie has not visited McKeesport, Willie has visited Lake Placid and if Charlie has visited McKeesport then Roberto has visited Benton Harbor
hypothesis: Roberto has visited Benton Harbor