premise: Jacob has not visited Cleveland, Reginald has visited Shawnee, Gabriel has not visited Staten Island and if Gabriel has not visited Staten Island then Bernard has visited Novato
hypothesis: Bernard has not visited Novato