premise: Marcus has not visited Osawatomie, Gary has not visited Smith Center, Bernard has visited Denton and if Marcus has not visited Osawatomie then Julio has not visited Saranac Lake
hypothesis: Julio has not visited Saranac Lake