あの十六席は展示しないがしかしけばけばしい
fact1: その感嘆は弱々しい fact2: もしこの浪人は判別し難いということはないがみっとも可愛いとすればそれは随喜する fact3: 仮にこの更新通知は滑落しないがドロップするとすれば収む fact4: その業務改善評価委員会は展示する fact5: この更新通知は収むということはない fact6: もし仮に「あの十六席は随喜しないかそれは否定し難くないか両方である」ということは成り立つなら展示しない fact7: 仮にその感嘆が収むとすればその雌赤緑小灰は収む fact8: なにかは否定し難くないとすればあの十六席は随喜しないかまたは否定し難くないかあるいは両方だ fact9: 「「随喜するしまた展示する」ということは本当だということはない」ものはある fact10: この更新通知は展示しない fact11: 「その感嘆は握り易い」ということは成り立つ fact12: もし仮にその感嘆が弱々しかないならばそれは収むしかつけばけばしい fact13: その感嘆は展示する fact14: もし仮にこの更新通知は一般条項でないならばそれは滑落するということはない一方でドロップする fact15: この更新通知はけばけばしくて展示すれば一般条項だ fact16: この更新通知は父子であるということはない一方で厳しい fact17: もしその感嘆はけばけばしくないとしたら「あの十六席は展示しないがけばけばしい」ということは間違っている fact18: 仮にあるものが一般条項でないが滑落するなら弱々しかない fact19: 何かはけばけばしいしその上弱々しいとしたらこの更新通知は一般条項だということはない fact20: もしもその感嘆がけばけばしい一方で弱々しかないとしたらあの十六席はけばけばしい fact21: 「「陰気臭い」ということは本当な」物はある fact22: この別紙改正要領は運搬しないが消極的過ぎる fact23: 何らかの物は否定し難いということはない
void -> assump1: 以下のように仮定する。その感嘆はけばけばしい; assump1 & fact1 -> int1: その感嘆はけばけばしくてそれは弱々しい; int1 -> int2: 「けばけばしくて弱々しい」ものはある; int2 & fact19 -> int3: この更新通知は一般条項でない; int3 & fact14 -> int4: 「この更新通知は滑落しないけどそれはドロップする」ということは成り立つ; int4 & fact3 -> int5: この更新通知は収む; int5 & fact5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その感嘆はけばけばしくない; int7 & fact17 -> hypothesis;
その雌赤緑小灰は収む
fact26 -> int8: もし仮にその感嘆は一般条項でないけれど滑落するとしたらそれは弱々しかない;
$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$ = 
void -> assump1: 以下のように仮定する。その感嘆はけばけばしい; assump1 & fact1 -> int1: その感嘆はけばけばしくてそれは弱々しい; int1 -> int2: 「けばけばしくて弱々しい」ものはある; int2 & fact19 -> int3: この更新通知は一般条項でない; int3 & fact14 -> int4: 「この更新通知は滑落しないけどそれはドロップする」ということは成り立つ; int4 & fact3 -> int5: この更新通知は収む; int5 & fact5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その感嘆はけばけばしくない; int7 & fact17 -> hypothesis; __DISPROVED__
事実1: その感嘆は弱々しい
事実2: もしこの浪人は判別し難いということはないがみっとも可愛いとすればそれは随喜する
事実3: 仮にこの更新通知は滑落しないがドロップするとすれば収む
事実4: その業務改善評価委員会は展示する
事実5: この更新通知は収むということはない
事実6: もし仮に「あの十六席は随喜しないかそれは否定し難くないか両方である」ということは成り立つなら展示しない
事実7: 仮にその感嘆が収むとすればその雌赤緑小灰は収む
事実8: なにかは否定し難くないとすればあの十六席は随喜しないかまたは否定し難くないかあるいは両方だ
事実9: 「「随喜するしまた展示する」ということは本当だということはない」ものはある
事実10: この更新通知は展示しない
事実11: 「その感嘆は握り易い」ということは成り立つ
事実12: もし仮にその感嘆が弱々しかないならばそれは収むしかつけばけばしい
事実13: その感嘆は展示する
事実14: もし仮にこの更新通知は一般条項でないならばそれは滑落するということはない一方でドロップする
事実15: この更新通知はけばけばしくて展示すれば一般条項だ
事実16: この更新通知は父子であるということはない一方で厳しい
事実17: もしその感嘆はけばけばしくないとしたら「あの十六席は展示しないがけばけばしい」ということは間違っている
事実18: 仮にあるものが一般条項でないが滑落するなら弱々しかない
事実19: 何かはけばけばしいしその上弱々しいとしたらこの更新通知は一般条項だということはない
事実20: もしもその感嘆がけばけばしい一方で弱々しかないとしたらあの十六席はけばけばしい
事実21: 「「陰気臭い」ということは本当な」物はある
事実22: この別紙改正要領は運搬しないが消極的過ぎる
事実23: 何らかの物は否定し難いということはない

仮説: あの十六席は展示しないがしかしけばけばしい
1. 仮定1: 以下のように仮定する。その感嘆はけばけばしい
2. 仮定1と事実1から、推論1: "その感嘆はけばけばしくてそれは弱々しい"が導かれる
3. 推論1から、推論2: "「けばけばしくて弱々しい」ものはある"が導かれる
4. 推論2と事実19から、推論3: "この更新通知は一般条項でない"が導かれる
5. 推論3と事実14から、推論4: "「この更新通知は滑落しないけどそれはドロップする」ということは成り立つ"が導かれる
6. 推論4と事実3から、推論5: "この更新通知は収む"が導かれる
7. 推論5と事実5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その感嘆はけばけばしくない"が導かれる
9. 推論7と事実17から、仮説が否定される

よって、仮説が否定されました。