This entailment holds under standard possible-worlds semantics as defended by Lewis, making the purported failure a result of non-standard assumptions rather than a genuine logical independence.
?Rate how convincing each reason is below to see the overall strength.