Given P∨QP \lor QP∨Q and P ⟹ RP \implies RP⟹R and Q ⟹ RQ \implies RQ⟹R, what can be inferred?
PPP
QQQ
RRR
Nothing can be inferred.