reasoning with conditionals : a test of formal models of four theories .
Conditionals: A theory of meaning, pragmatics, and inference.