P, Q, R and S are four logical statements such that if P is true, then Q is true; if Q is true, then R is true; and if S is true, then at least one of Q and R is false. Then it follows that