premise: Marshall has not visited Derby, Everett has visited Niles, John has not visited Park City and if John has not visited Park City then Clifford has visited Mount Clemens
hypothesis: Clifford has not visited Mount Clemens