premise: Milton has not visited Roswell, Greg has not visited Sturgeon Bay, Zachary has visited Fallon and if Greg has not visited Sturgeon Bay then Marvin has visited Campbellsville
hypothesis: Marvin has visited Campbellsville