「「「吸収出来るしおまけに頑張り抜かない」ということは真実でないとすれば「班田収授でない」ということは本当な」物はある」ということは成り立つ
fact1: 「もしも頑張り抜けば班田収授でない」ものはある fact2: もし仮にその株主等が頑張り抜くとすればそれは班田収授でない fact3: もし仮になにがしかのものが吸収出来るけれど頑張り抜くということはないとするとそれは班田収授でない fact4: なにがしかのものが頑張り抜けばそれは班田収授でない fact5: 「もし「吸収出来るが頑張り抜かない」ということは成り立たないとすれば班田収授である」物はある fact6: もしも「とある物は吸収出来るけど頑張り抜かない」ということは偽であるならそれは班田収授でない
fact6 -> int1: もし「「その株主等は吸収出来るけれど頑張り抜くということはない」ということは偽だ」ということは成り立つとすると「班田収授でない」ということは成り立つ; int1 -> hypothesis;
$facts$ = fact1: 「もしも頑張り抜けば班田収授でない」ものはある fact2: もし仮にその株主等が頑張り抜くとすればそれは班田収授でない fact3: もし仮になにがしかのものが吸収出来るけれど頑張り抜くということはないとするとそれは班田収授でない fact4: なにがしかのものが頑張り抜けばそれは班田収授でない fact5: 「もし「吸収出来るが頑張り抜かない」ということは成り立たないとすれば班田収授である」物はある fact6: もしも「とある物は吸収出来るけど頑張り抜かない」ということは偽であるならそれは班田収授でない ; $hypothesis$ = 「「「吸収出来るしおまけに頑張り抜かない」ということは真実でないとすれば「班田収授でない」ということは本当な」物はある」ということは成り立つ ; $proof$ = 
fact6 -> int1: もし「「その株主等は吸収出来るけれど頑張り抜くということはない」ということは偽だ」ということは成り立つとすると「班田収授でない」ということは成り立つ; int1 -> hypothesis; __PROVED__
事実1: 「もしも頑張り抜けば班田収授でない」ものはある
事実2: もし仮にその株主等が頑張り抜くとすればそれは班田収授でない
事実3: もし仮になにがしかのものが吸収出来るけれど頑張り抜くということはないとするとそれは班田収授でない
事実4: なにがしかのものが頑張り抜けばそれは班田収授でない
事実5: 「もし「吸収出来るが頑張り抜かない」ということは成り立たないとすれば班田収授である」物はある
事実6: もしも「とある物は吸収出来るけど頑張り抜かない」ということは偽であるならそれは班田収授でない

仮説: 「「「吸収出来るしおまけに頑張り抜かない」ということは真実でないとすれば「班田収授でない」ということは本当な」物はある」ということは成り立つ
1. 事実6から、推論1: "もし「「その株主等は吸収出来るけれど頑張り抜くということはない」ということは偽だ」ということは成り立つとすると「班田収授でない」ということは成り立つ"が導かれる
2. 推論1から、仮説が導かれる

よって、仮説が証明されました。