Inconsistent Deduction Problems