その貿易摩擦問題は平生でない
fact1: 「蕎麦粉な」ものはあるとすると「その貿易摩擦問題が大幅減だしさらにそれは米太平洋艦隊である」ということは成り立たない fact2: その貿易摩擦問題は液化する fact3: その小指側が大幅減ならその貿易摩擦問題は米太平洋艦隊だ fact4: 「「絶え間無いし大幅減である」ということは成り立たない」物があるとしたらその空虚は大幅減でない fact5: その小指側は吹き続ける fact6: 仮に「その貿易摩擦問題は地下深いということはない」ということは確かであるならその小指側は忌まわしい fact7: 仮に「その貿易摩擦問題は大幅減であるしそれに米太平洋艦隊である」ということは事実と異なるとしたら加筆しない fact8: 仮にその小指側が忌まわしいとしたらその由布岳は忌まわしい fact9: その貿易摩擦問題は吹き続ける fact10: もし仮にその貿易摩擦問題は米太平洋艦隊でないならば加筆しない fact11: この大腸手術は加筆する fact12: もし仮に「大幅減でない」物があるとしたらあの短縮等は米太平洋艦隊でないか蕎麦粉であるということはない fact13: もし仮にこの空洞壁が蕎麦粉でないならその貿易摩擦問題は吹き続けるがしかし地下深くない fact14: もし仮に絶え間無いものが加筆しないならば平生であるということはない fact15: その小指側は蕎麦粉だが物寂しくないとしたら力強くない fact16: 「とある物は加筆する」ということは成り立つなら「あの毛虱は絶え間無いし大幅減だ」ということは誤りだ fact17: もし仮に「何らかのものは地下深い」ということは真実であるとしたらそれは蕎麦粉である fact18: その貿易摩擦問題は絶え間無くて液化する fact19: その小指側は地下深いしそれに吹き続ける fact20: この通天閣は辟易するがしかし大幅減だということはない fact21: 何かは吹き続けないならば平生であるし地下深い
fact19 -> int1: その小指側は地下深い; fact17 -> int2: 仮にその小指側が地下深いとすればそれは蕎麦粉だ; int1 & int2 -> int3: その小指側は蕎麦粉だ; int3 -> int4: 「蕎麦粉である」物はある; int4 & fact1 -> int5: 「その貿易摩擦問題は大幅減で更に米太平洋艦隊だ」ということは嘘だ; int5 & fact7 -> int6: その貿易摩擦問題は加筆しない; fact18 -> int7: その貿易摩擦問題は絶え間無い; int6 & int7 -> int8: その貿易摩擦問題は絶え間無いけれど加筆しない; fact14 -> int9: もしもその貿易摩擦問題が絶え間無いがそれが加筆しないとしたら平生でない; int8 & int9 -> hypothesis;
その貿易摩擦問題は平生だ
fact23 -> int10: 仮にその貿易摩擦問題が吹き続けないとしたらそれは平生であるしそれに地下深い;
$facts$ = fact1: 「蕎麦粉な」ものはあるとすると「その貿易摩擦問題が大幅減だしさらにそれは米太平洋艦隊である」ということは成り立たない fact2: その貿易摩擦問題は液化する fact3: その小指側が大幅減ならその貿易摩擦問題は米太平洋艦隊だ fact4: 「「絶え間無いし大幅減である」ということは成り立たない」物があるとしたらその空虚は大幅減でない fact5: その小指側は吹き続ける fact6: 仮に「その貿易摩擦問題は地下深いということはない」ということは確かであるならその小指側は忌まわしい fact7: 仮に「その貿易摩擦問題は大幅減であるしそれに米太平洋艦隊である」ということは事実と異なるとしたら加筆しない fact8: 仮にその小指側が忌まわしいとしたらその由布岳は忌まわしい fact9: その貿易摩擦問題は吹き続ける fact10: もし仮にその貿易摩擦問題は米太平洋艦隊でないならば加筆しない fact11: この大腸手術は加筆する fact12: もし仮に「大幅減でない」物があるとしたらあの短縮等は米太平洋艦隊でないか蕎麦粉であるということはない fact13: もし仮にこの空洞壁が蕎麦粉でないならその貿易摩擦問題は吹き続けるがしかし地下深くない fact14: もし仮に絶え間無いものが加筆しないならば平生であるということはない fact15: その小指側は蕎麦粉だが物寂しくないとしたら力強くない fact16: 「とある物は加筆する」ということは成り立つなら「あの毛虱は絶え間無いし大幅減だ」ということは誤りだ fact17: もし仮に「何らかのものは地下深い」ということは真実であるとしたらそれは蕎麦粉である fact18: その貿易摩擦問題は絶え間無くて液化する fact19: その小指側は地下深いしそれに吹き続ける fact20: この通天閣は辟易するがしかし大幅減だということはない fact21: 何かは吹き続けないならば平生であるし地下深い ; $hypothesis$ = その貿易摩擦問題は平生でない ; $proof$ = 
fact19 -> int1: その小指側は地下深い; fact17 -> int2: 仮にその小指側が地下深いとすればそれは蕎麦粉だ; int1 & int2 -> int3: その小指側は蕎麦粉だ; int3 -> int4: 「蕎麦粉である」物はある; int4 & fact1 -> int5: 「その貿易摩擦問題は大幅減で更に米太平洋艦隊だ」ということは嘘だ; int5 & fact7 -> int6: その貿易摩擦問題は加筆しない; fact18 -> int7: その貿易摩擦問題は絶え間無い; int6 & int7 -> int8: その貿易摩擦問題は絶え間無いけれど加筆しない; fact14 -> int9: もしもその貿易摩擦問題が絶え間無いがそれが加筆しないとしたら平生でない; int8 & int9 -> hypothesis; __PROVED__
事実1: 「蕎麦粉な」ものはあるとすると「その貿易摩擦問題が大幅減だしさらにそれは米太平洋艦隊である」ということは成り立たない
事実2: その貿易摩擦問題は液化する
事実3: その小指側が大幅減ならその貿易摩擦問題は米太平洋艦隊だ
事実4: 「「絶え間無いし大幅減である」ということは成り立たない」物があるとしたらその空虚は大幅減でない
事実5: その小指側は吹き続ける
事実6: 仮に「その貿易摩擦問題は地下深いということはない」ということは確かであるならその小指側は忌まわしい
事実7: 仮に「その貿易摩擦問題は大幅減であるしそれに米太平洋艦隊である」ということは事実と異なるとしたら加筆しない
事実8: 仮にその小指側が忌まわしいとしたらその由布岳は忌まわしい
事実9: その貿易摩擦問題は吹き続ける
事実10: もし仮にその貿易摩擦問題は米太平洋艦隊でないならば加筆しない
事実11: この大腸手術は加筆する
事実12: もし仮に「大幅減でない」物があるとしたらあの短縮等は米太平洋艦隊でないか蕎麦粉であるということはない
事実13: もし仮にこの空洞壁が蕎麦粉でないならその貿易摩擦問題は吹き続けるがしかし地下深くない
事実14: もし仮に絶え間無いものが加筆しないならば平生であるということはない
事実15: その小指側は蕎麦粉だが物寂しくないとしたら力強くない
事実16: 「とある物は加筆する」ということは成り立つなら「あの毛虱は絶え間無いし大幅減だ」ということは誤りだ
事実17: もし仮に「何らかのものは地下深い」ということは真実であるとしたらそれは蕎麦粉である
事実18: その貿易摩擦問題は絶え間無くて液化する
事実19: その小指側は地下深いしそれに吹き続ける
事実20: この通天閣は辟易するがしかし大幅減だということはない
事実21: 何かは吹き続けないならば平生であるし地下深い

仮説: その貿易摩擦問題は平生でない
1. 事実19から、推論1: "その小指側は地下深い"が導かれる
2. 事実17から、推論2: "仮にその小指側が地下深いとすればそれは蕎麦粉だ"が導かれる
3. 推論1と推論2から、推論3: "その小指側は蕎麦粉だ"が導かれる
4. 推論3から、推論4: "「蕎麦粉である」物はある"が導かれる
5. 推論4と事実1から、推論5: "「その貿易摩擦問題は大幅減で更に米太平洋艦隊だ」ということは嘘だ"が導かれる
6. 推論5と事実7から、推論6: "その貿易摩擦問題は加筆しない"が導かれる
7. 事実18から、推論7: "その貿易摩擦問題は絶え間無い"が導かれる
8. 推論6と推論7から、推論8: "その貿易摩擦問題は絶え間無いけれど加筆しない"が導かれる
9. 事実14から、推論9: "もしもその貿易摩擦問題が絶え間無いがそれが加筆しないとしたら平生でない"が導かれる
10. 推論8と推論9から、仮説が導かれる

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