If P ⟹ QP \implies QP⟹Q is true and QQQ is false, what can be inferred about PPP?
PPP must be true.
PPP must be false.
PPP can be either true or false.
The statement is impossible.