(Festino) Denilo[pi]. Darii. No A is B. \ / All B is not-A. Some C is B. | = | Some C is B. .'. Some C is not A./ \ .'. Some C is not-A. .'. Some C is not A. (Camenes) Canene. Celarent. All A is B. \ / No not-B is A. No B is C. | = | All C is not-B. .'. No C is A. / \ .'. No C is A. § 689. The following will serve as a concrete instance of Cane[pi]e reduced to the first figure. All things of which we have a perfect idea are perceptions. A substance is not a perception. .'. A substance is not a thing of which we have a perfect idea. When brought into Celarent this becomes-- No not-perception is a thing of which we have a perfect idea. A substance is a not-perception. .'. No substance is a thing of which we have a perfect idea. § 690. We may also bring it, if we please, into Barbara, by permuting the major premiss once more, so as to obtain the contrapositive of the original-- All not-perceptions are things of which we have an imperfect idea. All substances are not-perceptions. .'. All substances are things of which we have an imperfect idea. _Indirect Reduction._ § 691. We will apply this method to Baroko. All A is B. All fishes are oviparous. Some C is not B. Some marine animals are not oviparous. .'. Some C is not A. .'. Some marine animals are not fishes. § 692. The reasoning in such a syllogism is evidently conclusive: but it does not conform, as it stands, to the first figure, nor (permutation apart) can its premisses be twisted into conformity with it. But though we cannot prove the conclusion true in the first figure, we can employ that figure to prove that it cannot be false, by showing that the supposition of its falsity would involve a contradiction of one of the original premisses, which are true ex hypothesi. § 693. If possible, let the conclusion 'Some C is not A' be false. Then its contradictory 'All C is A' must be true. Combining this as minor with the original major, we obtain premisses in the first figure, All A is B, All fishes are oviparous, All C is A, All marine animals are fishes, which lead to the conclusion All C is B, All marine animals are oviparous.