premise: Theodore has not visited Bethesda-Chevy Chas note, Kevin has visited Lynn, George has not visited Lake Placid and if George has visited Lake Placid then Francis has visited Orem
hypothesis: Francis has not visited Orem