ومن الأقيسة المركبة قياس يسمى قياس الخلف، ومرجعه إلى قياسين
Among compound syllogisms is one called qiyās al-khalf, which reduces to two syllogisms.
Compound syllogisms are arguments in which a conclusion reached in one stage functions as a premise in a subsequent stage. In this form of reductio, a conditional conclusion is obtained first and then used to establish the sought claim.
It is not enough merely to declare the opposing position false: both inferential stages must be shown.