この紅花油は一掃しないがしかしそれは概説する
fact1: 仮に何らかのものがべた付くということはないとするとその肩部は甲・乙間だ fact2: もし仮に「何らかの物はつまされるということはないけれど酸っぱい」ということは間違っているなら一掃する fact3: もしもこの紅花油は梵字であるとすれば「あの二階座敷は梵字でない一方でそれは一掃する」ということは偽だ fact4: 「あの二階座敷は社会化しない一方で梵字だ」ということは事実と異なる fact5: 仮にあの三十〜四十歳代が一掃しないとすればあの紅花油は一掃しないけどそれは概説する fact6: もし仮にあの三十〜四十歳代はつまされるとすれば「「あの二階座敷はつまされなくておまけに酸っぱくない」ということは成り立つ」ということは成り立たない fact7: 仮にその肩部は甲・乙間だとすると「全身部だということはなくてそれに梵字でない」ということは事実でない fact8: もし仮に「なにかはつまされなくて更にそれは酸っぱくない」ということは成り立たないとすると招き易い fact9: 「べた付かない」物はある fact10: あの三十〜四十歳代は一掃するとすれば「それはつまされる」ということは確かである fact11: あの二階座敷が酸っぱいならばそれは招き易い fact12: あの二階座敷は僻みっぽい fact13: 梵字は招き易い fact14: もし仮に何らかの物が社会化しないならばそれは招き易いということはないかあるいはそれは酸っぱくないか両方である fact15: もしもあのショートカットメニューは彼らしくないとすると「あの二階座敷は着陸出来るかまたは僻みっぽくない」ということは成り立たない fact16: もし仮に「あの二階座敷は社会化しないけれど梵字だ」ということは成り立たないとするとそれは社会化する fact17: もし「「着陸出来るか僻みっぽくない」ということは誤っている」物があるとしたらあの三十〜四十歳代は社会化しない fact18: もし仮にとある物は一掃するとすれば「扁桃炎でないししかもそれは混同する」ということは嘘だ fact19: 僻みっぽい物は着陸出来る fact20: もし仮に「この千三百人は招き易くないしかつそれは社会化しない」ということは成り立たないとしたら「招き易い」ということは成り立つ fact21: 仮にあの二階座敷が招き易いししかもそれが社会化するとしたら着陸出来るということはない
void -> assump1: 以下のように仮定する。あの三十〜四十歳代は一掃する; fact10 & assump1 -> int1: あの三十〜四十歳代はつまされる; int1 & fact6 -> int2: 「あの二階座敷はつまされなくてしかも酸っぱくない」ということは誤りである; fact8 -> int3: 「あの二階座敷はつまされなくてしかも酸っぱくない」ということは本当だということはないとすると招き易い; int2 & int3 -> int4: 「あの二階座敷は招き易い」ということは成り立つ; fact4 & fact16 -> int5: あの二階座敷は社会化する; int4 & int5 -> int6: あの二階座敷は招き易いし社会化する; int6 & fact21 -> int7: あの二階座敷は着陸出来ない; fact19 -> int8: もし仮にあの二階座敷が僻みっぽいなら着陸出来る; fact12 & int8 -> int9: あの二階座敷は着陸出来る; int7 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: あの三十〜四十歳代は一掃しない; int11 & fact5 -> hypothesis;
「この千三百人は扁桃炎でないが混同する」ということは偽である
fact22 -> int12: もしもこの千三百人は一掃するとしたら「それは扁桃炎だということはないがしかし混同する」ということは事実と異なる; fact23 -> int13: もし「この千三百人はつまされないけれど酸っぱい」ということは成り立たないとすると一掃する;
$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: 以下のように仮定する。あの三十〜四十歳代は一掃する; fact10 & assump1 -> int1: あの三十〜四十歳代はつまされる; int1 & fact6 -> int2: 「あの二階座敷はつまされなくてしかも酸っぱくない」ということは誤りである; fact8 -> int3: 「あの二階座敷はつまされなくてしかも酸っぱくない」ということは本当だということはないとすると招き易い; int2 & int3 -> int4: 「あの二階座敷は招き易い」ということは成り立つ; fact4 & fact16 -> int5: あの二階座敷は社会化する; int4 & int5 -> int6: あの二階座敷は招き易いし社会化する; int6 & fact21 -> int7: あの二階座敷は着陸出来ない; fact19 -> int8: もし仮にあの二階座敷が僻みっぽいなら着陸出来る; fact12 & int8 -> int9: あの二階座敷は着陸出来る; int7 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: あの三十〜四十歳代は一掃しない; int11 & fact5 -> hypothesis; __PROVED__
事実1: 仮に何らかのものがべた付くということはないとするとその肩部は甲・乙間だ
事実2: もし仮に「何らかの物はつまされるということはないけれど酸っぱい」ということは間違っているなら一掃する
事実3: もしもこの紅花油は梵字であるとすれば「あの二階座敷は梵字でない一方でそれは一掃する」ということは偽だ
事実4: 「あの二階座敷は社会化しない一方で梵字だ」ということは事実と異なる
事実5: 仮にあの三十〜四十歳代が一掃しないとすればあの紅花油は一掃しないけどそれは概説する
事実6: もし仮にあの三十〜四十歳代はつまされるとすれば「「あの二階座敷はつまされなくておまけに酸っぱくない」ということは成り立つ」ということは成り立たない
事実7: 仮にその肩部は甲・乙間だとすると「全身部だということはなくてそれに梵字でない」ということは事実でない
事実8: もし仮に「なにかはつまされなくて更にそれは酸っぱくない」ということは成り立たないとすると招き易い
事実9: 「べた付かない」物はある
事実10: あの三十〜四十歳代は一掃するとすれば「それはつまされる」ということは確かである
事実11: あの二階座敷が酸っぱいならばそれは招き易い
事実12: あの二階座敷は僻みっぽい
事実13: 梵字は招き易い
事実14: もし仮に何らかの物が社会化しないならばそれは招き易いということはないかあるいはそれは酸っぱくないか両方である
事実15: もしもあのショートカットメニューは彼らしくないとすると「あの二階座敷は着陸出来るかまたは僻みっぽくない」ということは成り立たない
事実16: もし仮に「あの二階座敷は社会化しないけれど梵字だ」ということは成り立たないとするとそれは社会化する
事実17: もし「「着陸出来るか僻みっぽくない」ということは誤っている」物があるとしたらあの三十〜四十歳代は社会化しない
事実18: もし仮にとある物は一掃するとすれば「扁桃炎でないししかもそれは混同する」ということは嘘だ
事実19: 僻みっぽい物は着陸出来る
事実20: もし仮に「この千三百人は招き易くないしかつそれは社会化しない」ということは成り立たないとしたら「招き易い」ということは成り立つ
事実21: 仮にあの二階座敷が招き易いししかもそれが社会化するとしたら着陸出来るということはない

仮説: この紅花油は一掃しないがしかしそれは概説する
1. 仮定1: 以下のように仮定する。あの三十〜四十歳代は一掃する
2. 事実10と仮定1から、推論1: "あの三十〜四十歳代はつまされる"が導かれる
3. 推論1と事実6から、推論2: "「あの二階座敷はつまされなくてしかも酸っぱくない」ということは誤りである"が導かれる
4. 事実8から、推論3: "「あの二階座敷はつまされなくてしかも酸っぱくない」ということは本当だということはないとすると招き易い"が導かれる
5. 推論2と推論3から、推論4: "「あの二階座敷は招き易い」ということは成り立つ"が導かれる
6. 事実4と事実16から、推論5: "あの二階座敷は社会化する"が導かれる
7. 推論4と推論5から、推論6: "あの二階座敷は招き易いし社会化する"が導かれる
8. 推論6と事実21から、推論7: "あの二階座敷は着陸出来ない"が導かれる
9. 事実19から、推論8: "もし仮にあの二階座敷が僻みっぽいなら着陸出来る"が導かれる
10. 事実12と推論8から、推論9: "あの二階座敷は着陸出来る"が導かれる
11. 推論7と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、推論11: "あの三十〜四十歳代は一掃しない"が導かれる
13. 推論11と事実5から、仮説が導かれる

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