Extracting some truth from a is tricky, but it's done this way:

So, if one of the implies , then we know that , since we know that one of the is true. No should appear in nor in any attainable hypothesis (sorry for the cryptical phrases, they are part of the theory).

Daniel Clemente Laboreo 2005-05-17