If the terms are not convertible, one of the propositions from which the deduction results must be undemonstrated; for it is not possible to demonstrate through these terms that the third belongs to the middle or the middle to the first.