premise: Lester has not visited Brookings, Harvey has visited Corydon, Erik has not visited Cooperstown and if Erik has not visited Cooperstown then Michael has visited Richmond
hypothesis: Michael has not visited Richmond