Consequently, since the falsehood is established in reductions ad impossibile by a probative deduction, and the original conclusion is proved hypothetically, and we have already stated that probative deductions are effected by means of these figures