Anfonwch hwn fel neges destun: Automated deduction - CADE-24