 the conclusion is a conditional proposition whose consequent would be the conclusion [produced] by the two categorical [propositions], were they to be taken in isolation [i.e., not as part of a hypothetical syllogism]. (Qiyās VI.4, 331.13) 