「もしもその観客が久しならばその鉄鋼業は編み込まない」ということは間違っている
fact1: その観客が編み込むとすればその鉄鋼業は堪り易くない fact2: 仮にその観客が編み込むししかも久しとしたらその鉄鋼業は堪り易くない fact3: その皮剥は編み込まない fact4: もし何かは恋しないとすると編み込むし掘り起こす fact5: その観客は堪り易い fact6: もしもその鉄鋼業が堪り易くて久しとすればあの観客は編み込まない fact7: もし仮にその観客が久しとすればその鉄鋼業は編み込む fact8: もし「ある物は久しないけど堪り易い」ということは成り立たないならばそれは久し fact9: その観客は学会だ fact10: 仮にその観客が久ししまた堪り易いとするとその鉄鋼業は編み込む fact11: その候文は危惧しない fact12: もしも「なにかは編み込む」ということは成り立てば「久しないが堪り易い」ということは成り立たない fact13: 仮にその観客が久ししそれが堪り易いとしたらその鉄鋼業は編み込まない fact14: その鉄鋼業は瑞々しい fact15: もし何らかのものは編み込まないとすると「「それは久しししかもそれは堪り易い」ということは本当である」ということは偽である fact16: もしその鉄鋼業は編み込むし堪り易いならば「その観客は久しない」ということは事実である fact17: その鉄鋼業は編み込む fact18: その鉄鋼業は堪り易くておまけに久しならば「その観客は編み込まない」ということは成り立たない fact19: 仮にその候文は危惧しなくてそれに各地でないとするとそれは恋しない fact20: その観客は重苦しい fact21: もし仮にその鉄鋼業が編み込むしその上堪り易いとしたらその観客は久し
void -> assump1: 以下のように仮定する。「その観客は久し」ということは成り立つ; assump1 & fact5 -> int1: その観客は久ししそれは堪り易い; int1 & fact13 -> int2: その鉄鋼業は編み込まない; [assump1] & int2 -> hypothesis;
その候文は久し
fact23 -> int3: もし仮に「その候文は久しということはないがしかし堪り易い」ということは事実と異なるとすると久し; fact26 -> int4: もしもその候文は編み込むとすれば「久しないし堪り易い」ということは成り立たない; fact25 -> int5: もしもその候文が恋するということはないならば編み込むしおまけに掘り起こす;
$facts$ = fact1: その観客が編み込むとすればその鉄鋼業は堪り易くない fact2: 仮にその観客が編み込むししかも久しとしたらその鉄鋼業は堪り易くない fact3: その皮剥は編み込まない fact4: もし何かは恋しないとすると編み込むし掘り起こす fact5: その観客は堪り易い fact6: もしもその鉄鋼業が堪り易くて久しとすればあの観客は編み込まない fact7: もし仮にその観客が久しとすればその鉄鋼業は編み込む fact8: もし「ある物は久しないけど堪り易い」ということは成り立たないならばそれは久し fact9: その観客は学会だ fact10: 仮にその観客が久ししまた堪り易いとするとその鉄鋼業は編み込む fact11: その候文は危惧しない fact12: もしも「なにかは編み込む」ということは成り立てば「久しないが堪り易い」ということは成り立たない fact13: 仮にその観客が久ししそれが堪り易いとしたらその鉄鋼業は編み込まない fact14: その鉄鋼業は瑞々しい fact15: もし何らかのものは編み込まないとすると「「それは久しししかもそれは堪り易い」ということは本当である」ということは偽である fact16: もしその鉄鋼業は編み込むし堪り易いならば「その観客は久しない」ということは事実である fact17: その鉄鋼業は編み込む fact18: その鉄鋼業は堪り易くておまけに久しならば「その観客は編み込まない」ということは成り立たない fact19: 仮にその候文は危惧しなくてそれに各地でないとするとそれは恋しない fact20: その観客は重苦しい fact21: もし仮にその鉄鋼業が編み込むしその上堪り易いとしたらその観客は久し ; $hypothesis$ = 「もしもその観客が久しならばその鉄鋼業は編み込まない」ということは間違っている ; $proof$ = 
void -> assump1: 以下のように仮定する。「その観客は久し」ということは成り立つ; assump1 & fact5 -> int1: その観客は久ししそれは堪り易い; int1 & fact13 -> int2: その鉄鋼業は編み込まない; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: その観客が編み込むとすればその鉄鋼業は堪り易くない
事実2: 仮にその観客が編み込むししかも久しとしたらその鉄鋼業は堪り易くない
事実3: その皮剥は編み込まない
事実4: もし何かは恋しないとすると編み込むし掘り起こす
事実5: その観客は堪り易い
事実6: もしもその鉄鋼業が堪り易くて久しとすればあの観客は編み込まない
事実7: もし仮にその観客が久しとすればその鉄鋼業は編み込む
事実8: もし「ある物は久しないけど堪り易い」ということは成り立たないならばそれは久し
事実9: その観客は学会だ
事実10: 仮にその観客が久ししまた堪り易いとするとその鉄鋼業は編み込む
事実11: その候文は危惧しない
事実12: もしも「なにかは編み込む」ということは成り立てば「久しないが堪り易い」ということは成り立たない
事実13: 仮にその観客が久ししそれが堪り易いとしたらその鉄鋼業は編み込まない
事実14: その鉄鋼業は瑞々しい
事実15: もし何らかのものは編み込まないとすると「「それは久しししかもそれは堪り易い」ということは本当である」ということは偽である
事実16: もしその鉄鋼業は編み込むし堪り易いならば「その観客は久しない」ということは事実である
事実17: その鉄鋼業は編み込む
事実18: その鉄鋼業は堪り易くておまけに久しならば「その観客は編み込まない」ということは成り立たない
事実19: 仮にその候文は危惧しなくてそれに各地でないとするとそれは恋しない
事実20: その観客は重苦しい
事実21: もし仮にその鉄鋼業が編み込むしその上堪り易いとしたらその観客は久し

仮説: 「もしもその観客が久しならばその鉄鋼業は編み込まない」ということは間違っている
1. 仮定1: 以下のように仮定する。「その観客は久し」ということは成り立つ
2. 仮定1と事実5から、推論1: "その観客は久ししそれは堪り易い"が導かれる
3. 推論1と事実13から、推論2: "その鉄鋼業は編み込まない"が導かれる
4. [仮定1]と推論2から、仮説が否定される

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