あの伊達騒動は正社員でない
fact1: あの屠殺は空恐ろしいけど飲み終わらない fact2: あの恒例はどぎつかない fact3: 「このフィルター使用時は空恐ろしい」ということは間違いでない fact4: もしなんらかのものが収集すらないとするとそれは正社員であるしそれは潜伏する fact5: 「もし仮にあの酎が天覧山でないならばこのフィルター使用時は向き合えるということはない」ということは誤っていない fact6: このフィルター使用時はすりゃ良くて更に向き合えれば修正すらない fact7: 天覧山は修正す fact8: あらゆるものは空恐ろしいししかもそれは焼成する fact9: 仮に「そのタンブラーは向き合えないけれどそれは天覧山である」ということは確かでないならあの伊達騒動は収集すということはない fact10: このフィルター使用時が育ち難くて焼成するとしたらあの伊達騒動は正社員でない fact11: 動き難くないものは宿る fact12: その語呂合わせは潜伏する fact13: すべての物は空恐ろしい fact14: もし仮にすりゃ良いものが向き合えないならば修正すらない fact15: そのタンブラーが潜伏するししかもそれが収集すならあの酎は天覧山でない fact16: もし仮にすりゃ良いものは向き合えるなら「修正すらない」ということは事実だ fact17: 仮にある物が修正すらないならばそれは口説く fact18: そのタンブラーは潜伏する fact19: そのタンブラーは収集す fact20: もし何かは口説けばそれは育ち難い fact21: あの酎は口説く fact22: 「あの伊達騒動は混成するし加えてそれは大差無い」ということは本当である fact23: あの酎が口説くとするとそれは修正す fact24: もし仮にあの酎が天覧山でないとしたらこのフィルター使用時はすりゃ良いがしかし向き合えない fact25: このフィルター使用時は向き合えるということはない fact26: このフィルター使用時はホルモン分泌でない fact27: もし仮にそのタンブラーは焼成する一方で収集すらないとしたら修正すということはない
fact18 & fact19 -> int1: そのタンブラーは潜伏するしそれは収集す; int1 & fact15 -> int2: あの酎は天覧山でない; int2 & fact24 -> int3: このフィルター使用時はすりゃ良いけれど向き合えない; fact14 -> int4: このフィルター使用時がすりゃ良いけどそれが向き合えないなら修正すということはない; int3 & int4 -> int5: このフィルター使用時は修正すらない; fact17 -> int6: 仮に「このフィルター使用時は修正すということはない」ということは本当であるならそれは口説く; int5 & int6 -> int7: このフィルター使用時は口説く; fact20 -> int8: このフィルター使用時が口説くとすればそれは育ち難い; int7 & int8 -> int9: このフィルター使用時は育ち難い; fact8 -> int10: このフィルター使用時は空恐ろしくてさらに焼成する; int10 -> int11: このフィルター使用時は焼成する; int9 & int11 -> int12: このフィルター使用時は育ち難いしおまけに焼成する; int12 & fact10 -> hypothesis;
あの伊達騒動は正社員だ
fact31 -> int13: あの伊達騒動が収集すらないとすれば正社員であるしそれは潜伏する; fact29 & fact28 -> int14: あの酎は修正す;
$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: もし仮にあの酎が天覧山でないとしたらこのフィルター使用時はすりゃ良いがしかし向き合えない fact25: このフィルター使用時は向き合えるということはない fact26: このフィルター使用時はホルモン分泌でない fact27: もし仮にそのタンブラーは焼成する一方で収集すらないとしたら修正すということはない ; $hypothesis$ = あの伊達騒動は正社員でない ; $proof$ = 
fact18 & fact19 -> int1: そのタンブラーは潜伏するしそれは収集す; int1 & fact15 -> int2: あの酎は天覧山でない; int2 & fact24 -> int3: このフィルター使用時はすりゃ良いけれど向き合えない; fact14 -> int4: このフィルター使用時がすりゃ良いけどそれが向き合えないなら修正すということはない; int3 & int4 -> int5: このフィルター使用時は修正すらない; fact17 -> int6: 仮に「このフィルター使用時は修正すということはない」ということは本当であるならそれは口説く; int5 & int6 -> int7: このフィルター使用時は口説く; fact20 -> int8: このフィルター使用時が口説くとすればそれは育ち難い; int7 & int8 -> int9: このフィルター使用時は育ち難い; fact8 -> int10: このフィルター使用時は空恐ろしくてさらに焼成する; int10 -> int11: このフィルター使用時は焼成する; int9 & int11 -> int12: このフィルター使用時は育ち難いしおまけに焼成する; int12 & fact10 -> 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: もし仮にあの酎が天覧山でないとしたらこのフィルター使用時はすりゃ良いがしかし向き合えない
事実25: このフィルター使用時は向き合えるということはない
事実26: このフィルター使用時はホルモン分泌でない
事実27: もし仮にそのタンブラーは焼成する一方で収集すらないとしたら修正すということはない

仮説: あの伊達騒動は正社員でない
1. 事実18と事実19から、推論1: "そのタンブラーは潜伏するしそれは収集す"が導かれる
2. 推論1と事実15から、推論2: "あの酎は天覧山でない"が導かれる
3. 推論2と事実24から、推論3: "このフィルター使用時はすりゃ良いけれど向き合えない"が導かれる
4. 事実14から、推論4: "このフィルター使用時がすりゃ良いけどそれが向き合えないなら修正すということはない"が導かれる
5. 推論3と推論4から、推論5: "このフィルター使用時は修正すらない"が導かれる
6. 事実17から、推論6: "仮に「このフィルター使用時は修正すということはない」ということは本当であるならそれは口説く"が導かれる
7. 推論5と推論6から、推論7: "このフィルター使用時は口説く"が導かれる
8. 事実20から、推論8: "このフィルター使用時が口説くとすればそれは育ち難い"が導かれる
9. 推論7と推論8から、推論9: "このフィルター使用時は育ち難い"が導かれる
10. 事実8から、推論10: "このフィルター使用時は空恐ろしくてさらに焼成する"が導かれる
11. 推論10から、推論11: "このフィルター使用時は焼成する"が導かれる
12. 推論9と推論11から、推論12: "このフィルター使用時は育ち難いしおまけに焼成する"が導かれる
13. 推論12と事実10から、仮説が導かれる

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