premise: Erik has not visited Clearfield, James has visited Milwaukee, Johnny has visited North College Hill and if James has visited Milwaukee then Tyler has visited Marlborough
hypothesis: Tyler has not visited Marlborough