「あの平安時代後期は苦しがる」ということは真実だ
fact1: 「齎し兼ねらない」ものはある fact2: ハンデ戦は齎し兼ねる fact3: 仮に何かは齎し兼ねればそれは苦しがる fact4: 「「ハンデ戦であるしおまけに有るらしい」ということは誤りな」物はある fact5: もし「この最低単位株数は有るらしくないし加えて放り上げない」ということは嘘だとしたらあの平安時代後期は有るらしい fact6: もしもある物は齎し兼ねれば「有るらしくないしかつ掘削する」ということは事実でない fact7: もし仮に「「齎し兼ねらない」ということは事実な」物はあるとすると「この最低単位株数はハンデ戦でないがそれは有るらしい」ということは間違っている fact8: 何らかのものは苦しがるということはないならば「この最低単位株数は有るらしくないけどハンデ戦だ」ということは嘘である fact9: もし「「ハンデ戦でない一方で有るらしい」ということは誤りな」ものがあるとしたらあの平安時代後期は苦しがらない fact10: 仮に「「有るらしくない」ということは正しい」ものがあるとしたらあの平安時代後期は苦しがらない
fact1 & fact7 -> int1: 「この最低単位株数はハンデ戦でない一方で有るらしい」ということは成り立たない; int1 -> int2: 「「ハンデ戦でなくてしかも有るらしい」ということは誤っている」ものはある; int2 & fact9 -> hypothesis;
fact1 & fact7 -> int1: ¬(¬{B}{a} & {C}{a}); int1 -> int2: (Ex): ¬(¬{B}x & {C}x); int2 & fact9 -> hypothesis;
あの平安時代後期は苦しがる
fact13 -> int3: もし仮にあの平安時代後期が齎し兼ねるとしたら苦しがる; fact11 -> int4: もし仮にあの平安時代後期はハンデ戦なら「それは齎し兼ねる」ということは真実である;
$facts$ = fact1: 「齎し兼ねらない」ものはある fact2: ハンデ戦は齎し兼ねる fact3: 仮に何かは齎し兼ねればそれは苦しがる fact4: 「「ハンデ戦であるしおまけに有るらしい」ということは誤りな」物はある fact5: もし「この最低単位株数は有るらしくないし加えて放り上げない」ということは嘘だとしたらあの平安時代後期は有るらしい fact6: もしもある物は齎し兼ねれば「有るらしくないしかつ掘削する」ということは事実でない fact7: もし仮に「「齎し兼ねらない」ということは事実な」物はあるとすると「この最低単位株数はハンデ戦でないがそれは有るらしい」ということは間違っている fact8: 何らかのものは苦しがるということはないならば「この最低単位株数は有るらしくないけどハンデ戦だ」ということは嘘である fact9: もし「「ハンデ戦でない一方で有るらしい」ということは誤りな」ものがあるとしたらあの平安時代後期は苦しがらない fact10: 仮に「「有るらしくない」ということは正しい」ものがあるとしたらあの平安時代後期は苦しがらない ; $hypothesis$ = 「あの平安時代後期は苦しがる」ということは真実だ ; $proof$ = 
fact1 & fact7 -> int1: 「この最低単位株数はハンデ戦でない一方で有るらしい」ということは成り立たない; int1 -> int2: 「「ハンデ戦でなくてしかも有るらしい」ということは誤っている」ものはある; int2 & fact9 -> hypothesis; __DISPROVED__
事実1: 「齎し兼ねらない」ものはある
事実2: ハンデ戦は齎し兼ねる
事実3: 仮に何かは齎し兼ねればそれは苦しがる
事実4: 「「ハンデ戦であるしおまけに有るらしい」ということは誤りな」物はある
事実5: もし「この最低単位株数は有るらしくないし加えて放り上げない」ということは嘘だとしたらあの平安時代後期は有るらしい
事実6: もしもある物は齎し兼ねれば「有るらしくないしかつ掘削する」ということは事実でない
事実7: もし仮に「「齎し兼ねらない」ということは事実な」物はあるとすると「この最低単位株数はハンデ戦でないがそれは有るらしい」ということは間違っている
事実8: 何らかのものは苦しがるということはないならば「この最低単位株数は有るらしくないけどハンデ戦だ」ということは嘘である
事実9: もし「「ハンデ戦でない一方で有るらしい」ということは誤りな」ものがあるとしたらあの平安時代後期は苦しがらない
事実10: 仮に「「有るらしくない」ということは正しい」ものがあるとしたらあの平安時代後期は苦しがらない

仮説: 「あの平安時代後期は苦しがる」ということは真実だ
1. 事実1と事実7から、推論1: "「この最低単位株数はハンデ戦でない一方で有るらしい」ということは成り立たない"が導かれる
2. 推論1から、推論2: "「「ハンデ戦でなくてしかも有るらしい」ということは誤っている」ものはある"が導かれる
3. 推論2と事実9から、仮説が否定される

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