A Logical and Empirical Study of Right-Nested Counterfactuals