A dual-process specification of causal conditional reasoning