Seol mar théacs é seo: Automated deduction - CADE-24