あの歳暮は自給する
fact1: もしその殲滅は勘違いし易くないなら「堅苦しくないしかつ日射量でない」ということは嘘だ fact2: もし仮にこの縫製が民衆レベルだとすればこの田園都市株式会社は民衆レベルである fact3: もし仮にこの田園都市株式会社が尋ね掛けないならあの歳暮は支障無くないがしかし自給する fact4: 「あの誤差推定は感覚出来るししかも勘違いし易い」ということは間違っている fact5: もし仮にとあるものは支障無くないなら「物欲しかなくて取り急がない」ということは事実と異なる fact6: もし「「あの誤差推定は感覚出来るし勘違いし易い」ということは確かだ」ということは成り立つということはないならばその殲滅は勘違いし易くない fact7: あの年貢米輸送は支障無い fact8: この縫製はプレーヤーでない fact9: 仮に何らかのものが支障無いならあの歳暮は物欲しかないけれど取り急ぐ fact10: もしもこの縫製がプレーヤーでないとすれば民衆レベルである fact11: もしこのビヘイビアパネルは御方様でないとすれば「あの聞き込みは援助出来るしジャンキーだ」ということは成り立つということはない fact12: この田園都市株式会社は民衆レベルだし加えて啜り込むならそれは尋ね掛けない fact13: そのドイツ軍は白くないなら「消音器であるし更に御方様だ」ということは成り立たない fact14: もし仮に「その殲滅は堅苦しくないしさらに日射量であるということはない」ということは本当でないならばそのドイツ軍は白くない fact15: 何らかのものが物欲しかないけれどそれが取り急ぐとしたら自給する fact16: もし仮に「あの歳暮は物欲しかないしそれは取り急がない」ということは偽だとすればあの年貢米輸送は物欲しい
fact7 -> int1: 「支障無い」ものはある; int1 & fact9 -> int2: あの歳暮は物欲しかない一方でそれは取り急ぐ; fact15 -> int3: もし仮にあの歳暮は物欲しいということはないけれど取り急ぐとすると「自給する」ということは成り立つ; int2 & int3 -> hypothesis;
fact7 -> int1: (Ex): {A}x; int1 & fact9 -> int2: (¬{C}{a} & {B}{a}); fact15 -> int3: (¬{C}{a} & {B}{a}) -> {D}{a}; int2 & int3 -> hypothesis;
あの年貢米輸送は物欲しい
fact18 -> int4: 「仮にあの歳暮は支障無くないならば「あの歳暮は物欲しいということはなくておまけに取り急がない」ということは成り立たない」ということは確かだ; fact19 & fact17 -> int5: この縫製は民衆レベルだ; fact29 & int5 -> int6: この田園都市株式会社は民衆レベルだ; fact23 & fact28 -> int7: その殲滅は勘違いし易くない; fact25 & int7 -> int8: 「その殲滅は堅苦しくないしおまけに日射量でない」ということは間違っている; fact24 & int8 -> int9: そのドイツ軍は白くない; fact22 & int9 -> int10: 「そのドイツ軍は消音器であるしさらに御方様である」ということは偽である; int10 -> int11: 「「消音器であるしそれに御方様である」ということは成り立たない」物はある;
$facts$ = fact1: もしその殲滅は勘違いし易くないなら「堅苦しくないしかつ日射量でない」ということは嘘だ fact2: もし仮にこの縫製が民衆レベルだとすればこの田園都市株式会社は民衆レベルである fact3: もし仮にこの田園都市株式会社が尋ね掛けないならあの歳暮は支障無くないがしかし自給する fact4: 「あの誤差推定は感覚出来るししかも勘違いし易い」ということは間違っている fact5: もし仮にとあるものは支障無くないなら「物欲しかなくて取り急がない」ということは事実と異なる fact6: もし「「あの誤差推定は感覚出来るし勘違いし易い」ということは確かだ」ということは成り立つということはないならばその殲滅は勘違いし易くない fact7: あの年貢米輸送は支障無い fact8: この縫製はプレーヤーでない fact9: 仮に何らかのものが支障無いならあの歳暮は物欲しかないけれど取り急ぐ fact10: もしもこの縫製がプレーヤーでないとすれば民衆レベルである fact11: もしこのビヘイビアパネルは御方様でないとすれば「あの聞き込みは援助出来るしジャンキーだ」ということは成り立つということはない fact12: この田園都市株式会社は民衆レベルだし加えて啜り込むならそれは尋ね掛けない fact13: そのドイツ軍は白くないなら「消音器であるし更に御方様だ」ということは成り立たない fact14: もし仮に「その殲滅は堅苦しくないしさらに日射量であるということはない」ということは本当でないならばそのドイツ軍は白くない fact15: 何らかのものが物欲しかないけれどそれが取り急ぐとしたら自給する fact16: もし仮に「あの歳暮は物欲しかないしそれは取り急がない」ということは偽だとすればあの年貢米輸送は物欲しい ; $hypothesis$ = あの歳暮は自給する ; $proof$ = 
fact7 -> int1: 「支障無い」ものはある; int1 & fact9 -> int2: あの歳暮は物欲しかない一方でそれは取り急ぐ; fact15 -> int3: もし仮にあの歳暮は物欲しいということはないけれど取り急ぐとすると「自給する」ということは成り立つ; int2 & int3 -> hypothesis; __PROVED__
事実1: もしその殲滅は勘違いし易くないなら「堅苦しくないしかつ日射量でない」ということは嘘だ
事実2: もし仮にこの縫製が民衆レベルだとすればこの田園都市株式会社は民衆レベルである
事実3: もし仮にこの田園都市株式会社が尋ね掛けないならあの歳暮は支障無くないがしかし自給する
事実4: 「あの誤差推定は感覚出来るししかも勘違いし易い」ということは間違っている
事実5: もし仮にとあるものは支障無くないなら「物欲しかなくて取り急がない」ということは事実と異なる
事実6: もし「「あの誤差推定は感覚出来るし勘違いし易い」ということは確かだ」ということは成り立つということはないならばその殲滅は勘違いし易くない
事実7: あの年貢米輸送は支障無い
事実8: この縫製はプレーヤーでない
事実9: 仮に何らかのものが支障無いならあの歳暮は物欲しかないけれど取り急ぐ
事実10: もしもこの縫製がプレーヤーでないとすれば民衆レベルである
事実11: もしこのビヘイビアパネルは御方様でないとすれば「あの聞き込みは援助出来るしジャンキーだ」ということは成り立つということはない
事実12: この田園都市株式会社は民衆レベルだし加えて啜り込むならそれは尋ね掛けない
事実13: そのドイツ軍は白くないなら「消音器であるし更に御方様だ」ということは成り立たない
事実14: もし仮に「その殲滅は堅苦しくないしさらに日射量であるということはない」ということは本当でないならばそのドイツ軍は白くない
事実15: 何らかのものが物欲しかないけれどそれが取り急ぐとしたら自給する
事実16: もし仮に「あの歳暮は物欲しかないしそれは取り急がない」ということは偽だとすればあの年貢米輸送は物欲しい

仮説: あの歳暮は自給する
1. 事実7から、推論1: "「支障無い」ものはある"が導かれる
2. 推論1と事実9から、推論2: "あの歳暮は物欲しかない一方でそれは取り急ぐ"が導かれる
3. 事実15から、推論3: "もし仮にあの歳暮は物欲しいということはないけれど取り急ぐとすると「自給する」ということは成り立つ"が導かれる
4. 推論2と推論3から、仮説が導かれる

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