It is not the case that If the conditional's truth is indexed to actual co-obtaining states rather than all possible worlds, the negation of the consequent in counterfactual antecedent-conditions does not contradict the original proposition.
?Set your confidence on the premises below to see your aggregate.