The mental models theory and the mental logic theory are two alternative theories trying to explain, describe, and predict human reasoning. Both of them are consistent with most the experimental results reported in cognitive science literature. Therefore, it is hard to decide which is the correct one. In this paper, I argue that the predictions of both theories concerning the conditionals with disjunctions embedded into their antecedents are different, and that certain results that can be found in the literature seems to support the predictions of the mental logic theory about this kind of conditionals.