If P entails Q and Q is false, what follows?

Qiyās al-Khalf: Compound Reductio, Impossibility and Proof of the Claim

• Q must still be true
• P is false
• Both P and Q follow
• P must be true