They reason that since the last proposition is undeniably true, then at least one of the other two cannot be true.
وبما ان الامر الاخير صحيح دون شك ،‏ يستنتجون ان واحدا على الاقل من الامرين الآخرَين لا يمكن ان يكون صحيحا .‏