あのパラリンピックは収まり切るしおまけにそれは捗々しい
fact1: 「あの最底辺は死亡するけど転移性骨腫瘍であるということはない」ということは誤っている fact2: あのパラリンピックは捗々しい fact3: この追葬時は勤務成績であるし加えてそれはきつい fact4: もし仮にあの最底辺が収まり切らなくて転移性骨腫瘍でないならばあのパラリンピックは勤務成績であるということはない fact5: あのパラリンピックがトレオニンだしおまけにそれは普及する fact6: もしもあるものは勤務成績でないなら「収まり切るし更に捗々しい」ということは成り立たない fact7: この追葬時はきつくて収まり切る fact8: もしもあの最底辺が収まり切らないとすればあのパラリンピックは収まり切るし更にそれは捗々しい fact9: あの最底辺が死亡すれば収まり切らない fact10: あの最底辺は死亡しない fact11: もし仮にあの最底辺が死亡しなくてそれが転移性骨腫瘍でないとすればあの追葬時は勤務成績だということはない fact12: 仮に「何かはひ弱くないし薬品名でない」ということは間違っているとしたらそれは育て易くない fact13: 仮に「とある物は死亡しないしさらに転移性骨腫瘍でない」ということは偽ならそれは収まり切らない fact14: あの羅生門は収まり切る fact15: 仮にあの最底辺が収まり切らないとしたらあのパラリンピックは捗々しい fact16: 仮にとあるものが死亡すれば収まり切らない fact17: もしも「なんらかのものは捗々しくなくてそれは収まり切らない」ということは成り立たないとするとそれは死亡するということはない fact18: もし仮に「あの最底辺は死亡するがしかし転移性骨腫瘍でない」ということは事実であるならばこの追葬時は勤務成績でない fact19: この追葬時はきつい fact20: この追葬時は死亡しない
void -> assump1: 以下のように仮定する。あの最底辺は死亡しないしおまけにそれは転移性骨腫瘍でない; fact11 & assump1 -> int1: この追葬時は勤務成績であるということはない; fact3 -> int2: この追葬時は勤務成績だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの最底辺は死亡しないしまた転移性骨腫瘍でない」ということは間違っている; fact13 -> int5: 「あの最底辺は死亡しないし更にそれは転移性骨腫瘍でない」ということは事実と異なるとすれば収まり切らない; int4 & int5 -> int6: 「あの最底辺は収まり切らない」ということは本当だ; int6 & fact8 -> hypothesis;
「あのパラリンピックは収まり切るしさらに捗々しい」ということは事実と異なる
fact21 -> int7: もしもあのパラリンピックは勤務成績でないならば「「収まり切るしさらに捗々しい」ということは偽であるということはない」ということは事実と異なる;
$facts$ = fact1: 「あの最底辺は死亡するけど転移性骨腫瘍であるということはない」ということは誤っている fact2: あのパラリンピックは捗々しい fact3: この追葬時は勤務成績であるし加えてそれはきつい fact4: もし仮にあの最底辺が収まり切らなくて転移性骨腫瘍でないならばあのパラリンピックは勤務成績であるということはない fact5: あのパラリンピックがトレオニンだしおまけにそれは普及する fact6: もしもあるものは勤務成績でないなら「収まり切るし更に捗々しい」ということは成り立たない fact7: この追葬時はきつくて収まり切る fact8: もしもあの最底辺が収まり切らないとすればあのパラリンピックは収まり切るし更にそれは捗々しい fact9: あの最底辺が死亡すれば収まり切らない fact10: あの最底辺は死亡しない fact11: もし仮にあの最底辺が死亡しなくてそれが転移性骨腫瘍でないとすればあの追葬時は勤務成績だということはない fact12: 仮に「何かはひ弱くないし薬品名でない」ということは間違っているとしたらそれは育て易くない fact13: 仮に「とある物は死亡しないしさらに転移性骨腫瘍でない」ということは偽ならそれは収まり切らない fact14: あの羅生門は収まり切る fact15: 仮にあの最底辺が収まり切らないとしたらあのパラリンピックは捗々しい fact16: 仮にとあるものが死亡すれば収まり切らない fact17: もしも「なんらかのものは捗々しくなくてそれは収まり切らない」ということは成り立たないとするとそれは死亡するということはない fact18: もし仮に「あの最底辺は死亡するがしかし転移性骨腫瘍でない」ということは事実であるならばこの追葬時は勤務成績でない fact19: この追葬時はきつい fact20: この追葬時は死亡しない ; $hypothesis$ = あのパラリンピックは収まり切るしおまけにそれは捗々しい ; $proof$ = 
void -> assump1: 以下のように仮定する。あの最底辺は死亡しないしおまけにそれは転移性骨腫瘍でない; fact11 & assump1 -> int1: この追葬時は勤務成績であるということはない; fact3 -> int2: この追葬時は勤務成績だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの最底辺は死亡しないしまた転移性骨腫瘍でない」ということは間違っている; fact13 -> int5: 「あの最底辺は死亡しないし更にそれは転移性骨腫瘍でない」ということは事実と異なるとすれば収まり切らない; int4 & int5 -> int6: 「あの最底辺は収まり切らない」ということは本当だ; int6 & fact8 -> hypothesis; __PROVED__
事実1: 「あの最底辺は死亡するけど転移性骨腫瘍であるということはない」ということは誤っている
事実2: あのパラリンピックは捗々しい
事実3: この追葬時は勤務成績であるし加えてそれはきつい
事実4: もし仮にあの最底辺が収まり切らなくて転移性骨腫瘍でないならばあのパラリンピックは勤務成績であるということはない
事実5: あのパラリンピックがトレオニンだしおまけにそれは普及する
事実6: もしもあるものは勤務成績でないなら「収まり切るし更に捗々しい」ということは成り立たない
事実7: この追葬時はきつくて収まり切る
事実8: もしもあの最底辺が収まり切らないとすればあのパラリンピックは収まり切るし更にそれは捗々しい
事実9: あの最底辺が死亡すれば収まり切らない
事実10: あの最底辺は死亡しない
事実11: もし仮にあの最底辺が死亡しなくてそれが転移性骨腫瘍でないとすればあの追葬時は勤務成績だということはない
事実12: 仮に「何かはひ弱くないし薬品名でない」ということは間違っているとしたらそれは育て易くない
事実13: 仮に「とある物は死亡しないしさらに転移性骨腫瘍でない」ということは偽ならそれは収まり切らない
事実14: あの羅生門は収まり切る
事実15: 仮にあの最底辺が収まり切らないとしたらあのパラリンピックは捗々しい
事実16: 仮にとあるものが死亡すれば収まり切らない
事実17: もしも「なんらかのものは捗々しくなくてそれは収まり切らない」ということは成り立たないとするとそれは死亡するということはない
事実18: もし仮に「あの最底辺は死亡するがしかし転移性骨腫瘍でない」ということは事実であるならばこの追葬時は勤務成績でない
事実19: この追葬時はきつい
事実20: この追葬時は死亡しない

仮説: あのパラリンピックは収まり切るしおまけにそれは捗々しい
1. 仮定1: 以下のように仮定する。あの最底辺は死亡しないしおまけにそれは転移性骨腫瘍でない
2. 事実11と仮定1から、推論1: "この追葬時は勤務成績であるということはない"が導かれる
3. 事実3から、推論2: "この追葬時は勤務成績だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「あの最底辺は死亡しないしまた転移性骨腫瘍でない」ということは間違っている"が導かれる
6. 事実13から、推論5: "「あの最底辺は死亡しないし更にそれは転移性骨腫瘍でない」ということは事実と異なるとすれば収まり切らない"が導かれる
7. 推論4と推論5から、推論6: "「あの最底辺は収まり切らない」ということは本当だ"が導かれる
8. 推論6と事実8から、仮説が導かれる

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