premise: Christopher has not visited Houlton, Jaime has not visited Oakland, Bradley has visited Vancouver and if Jaime has visited Oakland then Michael has visited Granite City
hypothesis: Michael has not visited Granite City