Разве это правда неочевидно, что если есть два утверждения А и В, и одновременно выполняются два условия:

1. А не противоречит В
2. А не противоречит не В

, то из этого не следует то, что А => B?