premise: Jeff has not visited Marietta, George has visited French Lick, Tyrone has visited River Forest and if George has visited French Lick then Stanley has visited Connecticut
hypothesis: Stanley has not visited Connecticut