premise: Theodore has not visited Kingman, Barry has visited Ironwood, Russell has not visited Spartanburg and if Russell has not visited Spartanburg then Chester has visited Albert Lea
hypothesis: Chester has not visited Albert Lea