Simple program to perform automated deduction.