Automated Deduction - Cade-14 by William Mccune