Automatic Deduction Forms