mnli premise: The enormous Saint Patrick's Hall with its painted ceiling by Vincenzo Valdre contains the banners and coats of arms of the now defunct Knights of St. Patrick. hypothesis: There are no banners or coats of arms in Saint Patrick's Hall.