Both options may be true in mani‘at al-khulu.

Types of Qiyas: Istithna’i and Iqtirani