あの国民経済計算は算定し難い
fact1: もしもあの国民経済計算が御送りするとしたらこの和平構築は算定し難い fact2: もし「そのペリカン目は御送りする」ということは誤っていないとすればこの和平構築は自動算出する fact3: もしこの和平構築が正体だがそれが熱り立たないならばあの国民経済計算は算定し難くない fact4: もし仮に「刻み続ける」ものはあるとすると「あの一札は付け難くないけど動き難い」ということは正しいということはない fact5: もしそのペリカン目が御送りするならあの国民経済計算は算定し難い fact6: もし「「付け難いということはないけど動き難い」ということは成り立たない」物があるとすればあのサッポロファクトリーは道行でない fact7: この食事費はリークするしその上見なし得る fact8: 「正体でない」ものはある fact9: 何かは熱り立つ fact10: もし仮にこの和平構築が自動算出するとするとそのペリカン目は御送りする fact11: 「熱り立つし正体でない」物はある fact12: その三十三ページ参照は自動算出しない fact13: この食事費はリークするとすると「そのＷＩＳＨは下降するということはないが如何わしい」ということは成り立たない fact14: そのサッポロファクトリーが不正利用するならそのペリカン目は自動算出する fact15: この和平構築は正体でない fact16: あるものは算定し難いがしかし御送りしない fact17: 仮に何かは熱り立つが正体でないとするとこの和平構築は御送りしない fact18: ある物は熱り立つしさらに正体だ fact19: 「そのＷＩＳＨは下降しないけれど如何わしい」ということは間違いであるなら刻み続ける fact20: もし「この和平構築は御送りしない」ということは真実だとすればあのペリカン目は御送りするかまたはそれは自動算出するかあるいは両方ともだ fact21: もし何らかのものが道行でないならば不正利用するかそれは打出であるかまたはどちらもである fact22: 「算定し難いがしかし御送りしない」物があるとするとあの国民経済計算は自動算出しない fact23: 仮にそのペリカン目が自動算出するとすればあの国民経済計算は算定し難い
fact11 & fact17 -> int1: この和平構築は御送りしない; int1 & fact20 -> int2: そのペリカン目は御送りするかあるいはそれは自動算出する; int2 & fact5 & fact23 -> hypothesis;
あの国民経済計算は算定し難くない
fact24 -> int3: もしもそのサッポロファクトリーは道行でないならそれは不正利用するかあるいは打出であるか両方である; fact30 -> int4: この食事費はリークする; fact29 & int4 -> int5: 「そのＷＩＳＨは下降しないがしかし如何わしい」ということは事実でない; fact26 & int5 -> int6: そのＷＩＳＨは刻み続ける; int6 -> int7: 何らかの物は刻み続ける; int7 & fact25 -> int8: 「あの一札は付け難くないけれど動き難い」ということは嘘だ; int8 -> int9: 「「付け難いということはないし動き難い」ということは事実と異なる」物はある; int9 & fact27 -> int10: 「そのサッポロファクトリーは道行でない」ということは事実だ; int3 & int10 -> int11: そのサッポロファクトリーは不正利用するかあるいは打出であるかあるいはどちらもである;
$facts$ = fact1: もしもあの国民経済計算が御送りするとしたらこの和平構築は算定し難い fact2: もし「そのペリカン目は御送りする」ということは誤っていないとすればこの和平構築は自動算出する fact3: もしこの和平構築が正体だがそれが熱り立たないならばあの国民経済計算は算定し難くない fact4: もし仮に「刻み続ける」ものはあるとすると「あの一札は付け難くないけど動き難い」ということは正しいということはない fact5: もしそのペリカン目が御送りするならあの国民経済計算は算定し難い fact6: もし「「付け難いということはないけど動き難い」ということは成り立たない」物があるとすればあのサッポロファクトリーは道行でない fact7: この食事費はリークするしその上見なし得る fact8: 「正体でない」ものはある fact9: 何かは熱り立つ fact10: もし仮にこの和平構築が自動算出するとするとそのペリカン目は御送りする fact11: 「熱り立つし正体でない」物はある fact12: その三十三ページ参照は自動算出しない fact13: この食事費はリークするとすると「そのＷＩＳＨは下降するということはないが如何わしい」ということは成り立たない fact14: そのサッポロファクトリーが不正利用するならそのペリカン目は自動算出する fact15: この和平構築は正体でない fact16: あるものは算定し難いがしかし御送りしない fact17: 仮に何かは熱り立つが正体でないとするとこの和平構築は御送りしない fact18: ある物は熱り立つしさらに正体だ fact19: 「そのＷＩＳＨは下降しないけれど如何わしい」ということは間違いであるなら刻み続ける fact20: もし「この和平構築は御送りしない」ということは真実だとすればあのペリカン目は御送りするかまたはそれは自動算出するかあるいは両方ともだ fact21: もし何らかのものが道行でないならば不正利用するかそれは打出であるかまたはどちらもである fact22: 「算定し難いがしかし御送りしない」物があるとするとあの国民経済計算は自動算出しない fact23: 仮にそのペリカン目が自動算出するとすればあの国民経済計算は算定し難い ; $hypothesis$ = あの国民経済計算は算定し難い ; $proof$ = 
fact11 & fact17 -> int1: この和平構築は御送りしない; int1 & fact20 -> int2: そのペリカン目は御送りするかあるいはそれは自動算出する; int2 & fact5 & fact23 -> 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: 仮にそのペリカン目が自動算出するとすればあの国民経済計算は算定し難い

仮説: あの国民経済計算は算定し難い
1. 事実11と事実17から、推論1: "この和平構築は御送りしない"が導かれる
2. 推論1と事実20から、推論2: "そのペリカン目は御送りするかあるいはそれは自動算出する"が導かれる
3. 推論2と事実5と事実23から、仮説が導かれる

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