Seol mar théacs é seo: Deducibility and decidability