Given the premises P∨QP \lor QP∨Q and P ⟹ RP \implies RP⟹R and Q ⟹ SQ \implies SQ⟹S, what can we conclude?
R∧SR \land SR∧S
R∨SR \lor SR∨S
R ⟹ SR \implies SR⟹S
S ⟹ RS \implies RS⟹R