その中国企業は概説する
fact1: この決意表明は一括計上しない fact2: エステル化率は倒れ伏すということはないしさらに概説しない fact3: もし仮にこの戦後初が概説するならそれは官物だ fact4: もしも「「酷くてさらに倒れ伏す」ということは誤っている」ものがあればこの戦後初は地下深い fact5: 「この都道府県単位は地下深いしそれに倒れ伏す」ということは成り立つということはない fact6: この一軒屋は官物でない fact7: 「この都道府県単位は地下深くておまけに酷い」ということは成り立たない fact8: この戦後初は利得する fact9: 仮にこの都道府県単位がエステル化率でないとしたらこの一軒屋は地下深くない fact10: もしその口頭発表が酷くないとしたらこの都道府県単位は地下深い fact11: その口頭発表はエステル化率でない fact12: とある物は酷くてエステル化率だ fact13: 「もしもその口頭発表がエステル化率であるということはないならばあの一軒屋は堪り兼ねるけれど官物でない」ということは成り立つ fact14: もしこの戦後初が倒れ伏さないとすればこの一軒屋はエステル化率でない fact15: もしもその口頭発表が酷いならその中国企業は酷い fact16: 「この戦後初は概説する」ということは事実である fact17: 「「その中国企業は概説しない」ということは誤りだということはないならばその口頭発表は官物だ一方で堪り兼ねるということはない」ということは間違いでない fact18: なんらかの物が官物だし更に堪り兼ねる fact19: 「「概説するし加えて官物である」ということは成り立たない」ものはある fact20: もし仮にその口頭発表が官物だけど堪り兼ねるということはないとすればこの戦後初は倒れ伏さない fact21: この動力はエステル化率であるということはない fact22: 「もし「「地下深くて酷い」ということは間違っている」物があるならこの一軒屋はエステル化率である」ということは事実だ fact23: もし仮に「「酷いしまた官物である」ということは成り立たない」ものがあるならその口頭発表は地下深い fact24: もしもこの戦後初は利得するなら「基礎科学だということはなくて地下深い」ということは成り立たない
void -> assump1: 以下のように仮定する。その中国企業は概説しない; fact17 & assump1 -> int1: その口頭発表は官物である一方で堪り兼ねらない; int1 & fact20 -> int2: 「この戦後初は倒れ伏さない」ということは正しい; int2 & fact14 -> int3: 「この一軒屋はエステル化率でない」ということは成り立つ; fact7 -> int4: 「「地下深くてまた酷い」ということは誤っている」ものはある; fact22 & int4 -> int5: この一軒屋はエステル化率だ; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
その中国企業は概説しない
fact27 -> int7: その中国企業がエステル化率なら倒れ伏さないし更に概説しない; fact25 & fact26 -> int8: 「この戦後初は基礎科学であるということはないが地下深い」ということは成り立たない; int8 -> int9: 「「基礎科学でないけど地下深い」ということは間違いな」物はある;
$facts$ = fact1: この決意表明は一括計上しない fact2: エステル化率は倒れ伏すということはないしさらに概説しない fact3: もし仮にこの戦後初が概説するならそれは官物だ fact4: もしも「「酷くてさらに倒れ伏す」ということは誤っている」ものがあればこの戦後初は地下深い fact5: 「この都道府県単位は地下深いしそれに倒れ伏す」ということは成り立つということはない fact6: この一軒屋は官物でない fact7: 「この都道府県単位は地下深くておまけに酷い」ということは成り立たない fact8: この戦後初は利得する fact9: 仮にこの都道府県単位がエステル化率でないとしたらこの一軒屋は地下深くない fact10: もしその口頭発表が酷くないとしたらこの都道府県単位は地下深い fact11: その口頭発表はエステル化率でない fact12: とある物は酷くてエステル化率だ fact13: 「もしもその口頭発表がエステル化率であるということはないならばあの一軒屋は堪り兼ねるけれど官物でない」ということは成り立つ fact14: もしこの戦後初が倒れ伏さないとすればこの一軒屋はエステル化率でない fact15: もしもその口頭発表が酷いならその中国企業は酷い fact16: 「この戦後初は概説する」ということは事実である fact17: 「「その中国企業は概説しない」ということは誤りだということはないならばその口頭発表は官物だ一方で堪り兼ねるということはない」ということは間違いでない fact18: なんらかの物が官物だし更に堪り兼ねる fact19: 「「概説するし加えて官物である」ということは成り立たない」ものはある fact20: もし仮にその口頭発表が官物だけど堪り兼ねるということはないとすればこの戦後初は倒れ伏さない fact21: この動力はエステル化率であるということはない fact22: 「もし「「地下深くて酷い」ということは間違っている」物があるならこの一軒屋はエステル化率である」ということは事実だ fact23: もし仮に「「酷いしまた官物である」ということは成り立たない」ものがあるならその口頭発表は地下深い fact24: もしもこの戦後初は利得するなら「基礎科学だということはなくて地下深い」ということは成り立たない ; $hypothesis$ = その中国企業は概説する ; $proof$ = 
void -> assump1: 以下のように仮定する。その中国企業は概説しない; fact17 & assump1 -> int1: その口頭発表は官物である一方で堪り兼ねらない; int1 & fact20 -> int2: 「この戦後初は倒れ伏さない」ということは正しい; int2 & fact14 -> int3: 「この一軒屋はエステル化率でない」ということは成り立つ; fact7 -> int4: 「「地下深くてまた酷い」ということは誤っている」ものはある; fact22 & int4 -> int5: この一軒屋はエステル化率だ; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __PROVED__
事実1: この決意表明は一括計上しない
事実2: エステル化率は倒れ伏すということはないしさらに概説しない
事実3: もし仮にこの戦後初が概説するならそれは官物だ
事実4: もしも「「酷くてさらに倒れ伏す」ということは誤っている」ものがあればこの戦後初は地下深い
事実5: 「この都道府県単位は地下深いしそれに倒れ伏す」ということは成り立つということはない
事実6: この一軒屋は官物でない
事実7: 「この都道府県単位は地下深くておまけに酷い」ということは成り立たない
事実8: この戦後初は利得する
事実9: 仮にこの都道府県単位がエステル化率でないとしたらこの一軒屋は地下深くない
事実10: もしその口頭発表が酷くないとしたらこの都道府県単位は地下深い
事実11: その口頭発表はエステル化率でない
事実12: とある物は酷くてエステル化率だ
事実13: 「もしもその口頭発表がエステル化率であるということはないならばあの一軒屋は堪り兼ねるけれど官物でない」ということは成り立つ
事実14: もしこの戦後初が倒れ伏さないとすればこの一軒屋はエステル化率でない
事実15: もしもその口頭発表が酷いならその中国企業は酷い
事実16: 「この戦後初は概説する」ということは事実である
事実17: 「「その中国企業は概説しない」ということは誤りだということはないならばその口頭発表は官物だ一方で堪り兼ねるということはない」ということは間違いでない
事実18: なんらかの物が官物だし更に堪り兼ねる
事実19: 「「概説するし加えて官物である」ということは成り立たない」ものはある
事実20: もし仮にその口頭発表が官物だけど堪り兼ねるということはないとすればこの戦後初は倒れ伏さない
事実21: この動力はエステル化率であるということはない
事実22: 「もし「「地下深くて酷い」ということは間違っている」物があるならこの一軒屋はエステル化率である」ということは事実だ
事実23: もし仮に「「酷いしまた官物である」ということは成り立たない」ものがあるならその口頭発表は地下深い
事実24: もしもこの戦後初は利得するなら「基礎科学だということはなくて地下深い」ということは成り立たない

仮説: その中国企業は概説する
1. 仮定1: 以下のように仮定する。その中国企業は概説しない
2. 事実17と仮定1から、推論1: "その口頭発表は官物である一方で堪り兼ねらない"が導かれる
3. 推論1と事実20から、推論2: "「この戦後初は倒れ伏さない」ということは正しい"が導かれる
4. 推論2と事実14から、推論3: "「この一軒屋はエステル化率でない」ということは成り立つ"が導かれる
5. 事実7から、推論4: "「「地下深くてまた酷い」ということは誤っている」ものはある"が導かれる
6. 事実22と推論4から、推論5: "この一軒屋はエステル化率だ"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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