premise: Brett has not visited Arcadia, Michael has visited Janesville, Joshua has not visited Manchester and if Joshua has not visited Manchester then Jeremy has visited Collinsville
hypothesis: Jeremy has not visited Collinsville