premise: Juan has not visited South Saint Paul, Salvador has not visited Nampa, Steve has visited Batesville and if Salvador has not visited Nampa then Brett has not visited Painesville
hypothesis: Brett has not visited Painesville