premise: Everett has not visited Calumet City, Brian has not visited Bethlehem, Jay has visited Kingsport and if Brian has not visited Bethlehem then Lloyd has not visited Morrilton
hypothesis: Lloyd has not visited Morrilton