この支払い猶予は弁える
fact1: 「なんらかの物は広がり易くない」ということは成り立つとすれば「弁えるしおまけにそれは掬い取らない」ということは偽だ fact2: 何らかのものは人体錬成であるかあるいは白猿だ fact3: 仮に「何らかのものは企業社会戦略でないけどヒペリカムである」ということは成り立たないなら人体錬成である fact4: ある物は掬い取る fact5: 白猿は基礎梁であるか早しないかあるいは両方である fact6: 何かは早しないなら「人体錬成であるかまたは白猿であるかまたは両方ともである」ということは偽である fact7: もしこの製法特許等は基礎梁ならば「この支払い猶予は広がり易くない」ということは正しい fact8: もしあるものは誓約しないとすると「「それは企業社会戦略でなくておまけにヒペリカムである」ということは正しい」ということは偽だ fact9: 仮に「「人体錬成であるか白猿であるかあるいはどちらもである」ということは嘘である」ものがあればこの支払い猶予は弁える fact10: もしもあの増殖後が早しないとすれば白猿であるということはない fact11: 「掬い取る」ものはあるとすれば「「この製法特許等は広がり易いが基礎梁でない」ということは間違いである」ということは成り立つ fact12: 仮に「ある物は弁えるけど掬い取らない」ということは事実と異なるとすればそれは弁えない fact13: あの増殖後は白猿でない fact14: 仮に「掬い取る」ものはあるとしたら「この製法特許等は広がり易くて基礎梁である」ということは成り立たない fact15: 「広がり易いしおまけに基礎梁でない」ものはある fact16: もし仮に「「「広がり易いが基礎梁でない」ということは本当である」ということは成り立つということはない」物があるとしたらあの増殖後は早しない
fact4 & fact11 -> int1: 「この製法特許等は広がり易い一方で基礎梁でない」ということは成り立たない; int1 -> int2: 「「広がり易い一方で基礎梁でない」ということは成り立つということはない」物はある; int2 & fact16 -> int3: あの増殖後は早しない; fact6 -> int4: もしもあの増殖後は早しないとしたら「それは人体錬成であるかもしくは白猿であるかもしくはどちらもだ」ということは成り立つということはない; int3 & int4 -> int5: 「あの増殖後は人体錬成であるかそれは白猿だ」ということは間違っている; int5 -> int6: 「「「人体錬成であるか白猿であるかまたはどちらもである」ということは事実と異ならない」ということは間違いである」物はある; int6 & fact9 -> hypothesis;
この支払い猶予は弁えない
fact20 -> int7: 仮に「この支払い猶予は弁えるがそれは掬い取らない」ということは誤りだとしたら弁えない; fact22 -> int8: 「この支払い猶予は広がり易いということはないとしたら「この支払い猶予は弁えるがしかし掬い取らない」ということは間違っている」ということは確かだ; fact17 -> int9: もしこの製法特許等が白猿だとするとそれは基礎梁であるか早しということはない; fact18 -> int10: もしも「あの増殖後は企業社会戦略でない一方でヒペリカムである」ということは誤っているとすればそれは人体錬成である; fact21 -> int11: 仮に「あの増殖後は誓約する」ということは事実と異なるとしたら「企業社会戦略でなくて更にヒペリカムだ」ということは事実でない;
$facts$ = fact1: 「なんらかの物は広がり易くない」ということは成り立つとすれば「弁えるしおまけにそれは掬い取らない」ということは偽だ fact2: 何らかのものは人体錬成であるかあるいは白猿だ fact3: 仮に「何らかのものは企業社会戦略でないけどヒペリカムである」ということは成り立たないなら人体錬成である fact4: ある物は掬い取る fact5: 白猿は基礎梁であるか早しないかあるいは両方である fact6: 何かは早しないなら「人体錬成であるかまたは白猿であるかまたは両方ともである」ということは偽である fact7: もしこの製法特許等は基礎梁ならば「この支払い猶予は広がり易くない」ということは正しい fact8: もしあるものは誓約しないとすると「「それは企業社会戦略でなくておまけにヒペリカムである」ということは正しい」ということは偽だ fact9: 仮に「「人体錬成であるか白猿であるかあるいはどちらもである」ということは嘘である」ものがあればこの支払い猶予は弁える fact10: もしもあの増殖後が早しないとすれば白猿であるということはない fact11: 「掬い取る」ものはあるとすれば「「この製法特許等は広がり易いが基礎梁でない」ということは間違いである」ということは成り立つ fact12: 仮に「ある物は弁えるけど掬い取らない」ということは事実と異なるとすればそれは弁えない fact13: あの増殖後は白猿でない fact14: 仮に「掬い取る」ものはあるとしたら「この製法特許等は広がり易くて基礎梁である」ということは成り立たない fact15: 「広がり易いしおまけに基礎梁でない」ものはある fact16: もし仮に「「「広がり易いが基礎梁でない」ということは本当である」ということは成り立つということはない」物があるとしたらあの増殖後は早しない ; $hypothesis$ = この支払い猶予は弁える ; $proof$ = 
fact4 & fact11 -> int1: 「この製法特許等は広がり易い一方で基礎梁でない」ということは成り立たない; int1 -> int2: 「「広がり易い一方で基礎梁でない」ということは成り立つということはない」物はある; int2 & fact16 -> int3: あの増殖後は早しない; fact6 -> int4: もしもあの増殖後は早しないとしたら「それは人体錬成であるかもしくは白猿であるかもしくはどちらもだ」ということは成り立つということはない; int3 & int4 -> int5: 「あの増殖後は人体錬成であるかそれは白猿だ」ということは間違っている; int5 -> int6: 「「「人体錬成であるか白猿であるかまたはどちらもである」ということは事実と異ならない」ということは間違いである」物はある; int6 & fact9 -> hypothesis; __PROVED__
事実1: 「なんらかの物は広がり易くない」ということは成り立つとすれば「弁えるしおまけにそれは掬い取らない」ということは偽だ
事実2: 何らかのものは人体錬成であるかあるいは白猿だ
事実3: 仮に「何らかのものは企業社会戦略でないけどヒペリカムである」ということは成り立たないなら人体錬成である
事実4: ある物は掬い取る
事実5: 白猿は基礎梁であるか早しないかあるいは両方である
事実6: 何かは早しないなら「人体錬成であるかまたは白猿であるかまたは両方ともである」ということは偽である
事実7: もしこの製法特許等は基礎梁ならば「この支払い猶予は広がり易くない」ということは正しい
事実8: もしあるものは誓約しないとすると「「それは企業社会戦略でなくておまけにヒペリカムである」ということは正しい」ということは偽だ
事実9: 仮に「「人体錬成であるか白猿であるかあるいはどちらもである」ということは嘘である」ものがあればこの支払い猶予は弁える
事実10: もしもあの増殖後が早しないとすれば白猿であるということはない
事実11: 「掬い取る」ものはあるとすれば「「この製法特許等は広がり易いが基礎梁でない」ということは間違いである」ということは成り立つ
事実12: 仮に「ある物は弁えるけど掬い取らない」ということは事実と異なるとすればそれは弁えない
事実13: あの増殖後は白猿でない
事実14: 仮に「掬い取る」ものはあるとしたら「この製法特許等は広がり易くて基礎梁である」ということは成り立たない
事実15: 「広がり易いしおまけに基礎梁でない」ものはある
事実16: もし仮に「「「広がり易いが基礎梁でない」ということは本当である」ということは成り立つということはない」物があるとしたらあの増殖後は早しない

仮説: この支払い猶予は弁える
1. 事実4と事実11から、推論1: "「この製法特許等は広がり易い一方で基礎梁でない」ということは成り立たない"が導かれる
2. 推論1から、推論2: "「「広がり易い一方で基礎梁でない」ということは成り立つということはない」物はある"が導かれる
3. 推論2と事実16から、推論3: "あの増殖後は早しない"が導かれる
4. 事実6から、推論4: "もしもあの増殖後は早しないとしたら「それは人体錬成であるかもしくは白猿であるかもしくはどちらもだ」ということは成り立つということはない"が導かれる
5. 推論3と推論4から、推論5: "「あの増殖後は人体錬成であるかそれは白猿だ」ということは間違っている"が導かれる
6. 推論5から、推論6: "「「「人体錬成であるか白猿であるかまたはどちらもである」ということは事実と異ならない」ということは間違いである」物はある"が導かれる
7. 推論6と事実9から、仮説が導かれる

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