Counterfactually robust inferences, modally ruled out inferences, and semantic holism