reasoning with conditionals : a test of formal models of four theories .
Conditional reasoning by mental models: chronometric and developmental evidence