premise: John has not visited Walsenburg, Randall has visited Maysville, Thomas has not visited Gardiner and if Thomas has not visited Gardiner then Johnny has visited Spartanburg
hypothesis: Johnny has visited Spartanburg