「「「穿通枝処理であるしそれに依頼すらない」ということは成り立たない」ものはある」ということは偽だ
fact1: この旧巣は胴上げする fact2: もし仮にこの旧巣は胴上げするとしたら「それは穿通枝処理だがしかし依頼すらない」ということは成り立たない fact3: 「この旧巣は穿通枝処理であるし依頼す」ということは誤りである fact4: もしこの旧巣は胴上げするとしたら「穿通枝処理であるし更に依頼す」ということは成り立たない fact5: なにがしかの物は穿通枝処理であるが依頼すらない
fact2 & fact1 -> int1: 「この旧巣は穿通枝処理だけれど依頼すらない」ということは成り立たない; int1 -> hypothesis;
$facts$ = fact1: この旧巣は胴上げする fact2: もし仮にこの旧巣は胴上げするとしたら「それは穿通枝処理だがしかし依頼すらない」ということは成り立たない fact3: 「この旧巣は穿通枝処理であるし依頼す」ということは誤りである fact4: もしこの旧巣は胴上げするとしたら「穿通枝処理であるし更に依頼す」ということは成り立たない fact5: なにがしかの物は穿通枝処理であるが依頼すらない ; $hypothesis$ = 「「「穿通枝処理であるしそれに依頼すらない」ということは成り立たない」ものはある」ということは偽だ ; $proof$ = 
fact2 & fact1 -> int1: 「この旧巣は穿通枝処理だけれど依頼すらない」ということは成り立たない; int1 -> hypothesis; __DISPROVED__
事実1: この旧巣は胴上げする
事実2: もし仮にこの旧巣は胴上げするとしたら「それは穿通枝処理だがしかし依頼すらない」ということは成り立たない
事実3: 「この旧巣は穿通枝処理であるし依頼す」ということは誤りである
事実4: もしこの旧巣は胴上げするとしたら「穿通枝処理であるし更に依頼す」ということは成り立たない
事実5: なにがしかの物は穿通枝処理であるが依頼すらない

仮説: 「「「穿通枝処理であるしそれに依頼すらない」ということは成り立たない」ものはある」ということは偽だ
1. 事実2と事実1から、推論1: "「この旧巣は穿通枝処理だけれど依頼すらない」ということは成り立たない"が導かれる
2. 推論1から、仮説が否定される

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