premise: Lewis has visited Sault Sainte Marie, Samuel has not visited Jim Thorpe, Jesse has visited Darlington and if Lewis has visited Sault Sainte Marie then Frederick has visited Tuscaloosa
hypothesis: Frederick has not visited Tuscaloosa