Page "Principle of explosion" Paragraph 5

Consider two inconsistent statements, “ All lemons are yellow ” and " Not all lemons are yellow ", and suppose for the sake of argument that both are simultaneously true.

If that is the case, we can then prove anything, for instance that " Santa Claus exists ", by using the following argument: We know " All lemons are yellow ".

And from this we can infer that “ All lemons are yellow " or " Santa Claus exists ” ( or both )-we started with the assertion that " all lemons are yellow ", so this expanded statement must be true.

Since " all lemons are yellow or Santa Claus exists ( or both )", yet we earlier asserted that " not all lemons are yellow ", the only possibility remaining is that " Santa Claus exists ".