Single Automatic Deduction