premise: Greg has not visited Telluride, Joseph has not visited Chambersburg, Frederick has visited Paducah and if Greg has not visited Telluride then Stephen has visited Spartanburg
hypothesis: Stephen has not visited Spartanburg