It is not the case that 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.
?Set your confidence on the premises below to see your aggregate.