premise: Isaac has not visited Bessemer, Randall has visited Jeffersonville, Armando has visited Aliquippa and if Armando has visited Aliquippa then Johnnie has visited Sioux Falls
hypothesis: Johnnie has not visited Sioux Falls