Naive probability: a mental model theory of extentional reasoning