「あの既設はリースするし顧慮する」ということは誤っている
fact1: あの既設はリースするしかつそれは使信である fact2: もしも「何かは押し始めないけど使信だ」ということは間違いなら「それは使信でない」ということは本当だ fact3: もし仮にあの既設が論ずればそれは顧慮する fact4: あの既設は論ずる
fact1 -> int1: あの既設はリースする; fact3 & fact4 -> int2: あの既設は顧慮する; int1 & int2 -> hypothesis;
「あの既設はリースするし顧慮する」ということは誤っている
fact5 -> int3: 仮に「「あの代金引き換えは押し始めないけれどそれは使信だ」ということは正しい」ということは嘘だとすると使信でない;
$facts$ = fact1: あの既設はリースするしかつそれは使信である fact2: もしも「何かは押し始めないけど使信だ」ということは間違いなら「それは使信でない」ということは本当だ fact3: もし仮にあの既設が論ずればそれは顧慮する fact4: あの既設は論ずる ; $hypothesis$ = 「あの既設はリースするし顧慮する」ということは誤っている ; $proof$ = 
fact1 -> int1: あの既設はリースする; fact3 & fact4 -> int2: あの既設は顧慮する; int1 & int2 -> hypothesis; __DISPROVED__
事実1: あの既設はリースするしかつそれは使信である
事実2: もしも「何かは押し始めないけど使信だ」ということは間違いなら「それは使信でない」ということは本当だ
事実3: もし仮にあの既設が論ずればそれは顧慮する
事実4: あの既設は論ずる

仮説: 「あの既設はリースするし顧慮する」ということは誤っている
1. 事実1から、推論1: "あの既設はリースする"が導かれる
2. 事実3と事実4から、推論2: "あの既設は顧慮する"が導かれる
3. 推論1と推論2から、仮説が否定される

よって、仮説が否定されました。