あの究極体は分厚い
fact1: もしそのニットキャップは筋原線維であるかまたは幕張新都心でないとすると「あのファンサイトは椎間関節でない」ということは成り立つ fact2: もしもこの膝痛が幕張新都心なら筋原線維である fact3: もし仮に「あのファンサイトは椎間関節であるということはない」ということは本当だとするとあの究極体は分厚くない fact4: もしもあの各薬剤は政権内ならば「臭くないしさらに等しない」ということは誤りである fact5: あの各薬剤は政権内である fact6: もしもこの膝痛は刻苦勉励するとすれば「あの各薬剤は模写しなくてまたパブでない」ということは偽だ fact7: もし仮に「なにかは臭くなくてその上等しない」ということは誤りなら「フマル酸でない」ということは正しい fact8: もし仮にこの膝痛が筋原線維でないならそのニットキャップは筋原線維であるかまたは幕張新都心でないか両方である fact9: もし仮にこの膝痛が筋原線維であるとするとあのファンサイトは筋原線維である fact10: もしもとあるものは刻苦勉励するとすれば「それはパブでないし土豪だということはない」ということは間違っている fact11: もし何かは刻苦勉励するかもしくはそれはフマル酸でないか両方だとすればそれは刻苦勉励する fact12: もしも「何かは模写するということはないし更にそれはパブでない」ということは成り立たないとすればそれはフマル酸だ fact13: 仮に何らかのものが刻苦勉励しないなら筋原線維でない
void -> assump1: 以下のように仮定する。この膝痛は刻苦勉励する; fact6 & assump1 -> int1: 「「あの各薬剤は模写しなくてパブでない」ということは成り立つ」ということは確かでない; fact12 -> int2: 仮に「あの各薬剤が模写するということはないしさらにそれはパブでない」ということは偽であるとすればフマル酸である; int1 & int2 -> int3: あの各薬剤はフマル酸だ; fact5 & fact4 -> int4: 「あの各薬剤は臭くなくて等しない」ということは間違っている; fact7 -> int5: もし「あの各薬剤は臭くないしおまけにそれは等しない」ということは成り立たないとすればフマル酸でない; int4 & int5 -> int6: あの各薬剤はフマル酸だということはない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: この膝痛は刻苦勉励しない; fact13 -> int9: この膝痛が刻苦勉励するということはないとすれば筋原線維でない; int8 & int9 -> int10: この膝痛は筋原線維でない; int10 & fact8 -> int11: そのニットキャップは筋原線維であるかあるいは幕張新都心でない; int11 & fact1 -> int12: 「あのファンサイトは椎間関節でない」ということは真実だ; int12 & fact3 -> hypothesis;
「あのファンサイトはパブでないし土豪でない」ということは本当でない
fact16 -> int13: もしあのファンサイトは刻苦勉励するなら「パブでないしその上それは土豪でない」ということは間違いだ; fact15 -> int14: もしあのファンサイトが刻苦勉励するかもしくはフマル酸でないとすればそれは刻苦勉励する;
$facts$ = fact1: もしそのニットキャップは筋原線維であるかまたは幕張新都心でないとすると「あのファンサイトは椎間関節でない」ということは成り立つ fact2: もしもこの膝痛が幕張新都心なら筋原線維である fact3: もし仮に「あのファンサイトは椎間関節であるということはない」ということは本当だとするとあの究極体は分厚くない fact4: もしもあの各薬剤は政権内ならば「臭くないしさらに等しない」ということは誤りである fact5: あの各薬剤は政権内である fact6: もしもこの膝痛は刻苦勉励するとすれば「あの各薬剤は模写しなくてまたパブでない」ということは偽だ fact7: もし仮に「なにかは臭くなくてその上等しない」ということは誤りなら「フマル酸でない」ということは正しい fact8: もし仮にこの膝痛が筋原線維でないならそのニットキャップは筋原線維であるかまたは幕張新都心でないか両方である fact9: もし仮にこの膝痛が筋原線維であるとするとあのファンサイトは筋原線維である fact10: もしもとあるものは刻苦勉励するとすれば「それはパブでないし土豪だということはない」ということは間違っている fact11: もし何かは刻苦勉励するかもしくはそれはフマル酸でないか両方だとすればそれは刻苦勉励する fact12: もしも「何かは模写するということはないし更にそれはパブでない」ということは成り立たないとすればそれはフマル酸だ fact13: 仮に何らかのものが刻苦勉励しないなら筋原線維でない ; $hypothesis$ = あの究極体は分厚い ; $proof$ = 
void -> assump1: 以下のように仮定する。この膝痛は刻苦勉励する; fact6 & assump1 -> int1: 「「あの各薬剤は模写しなくてパブでない」ということは成り立つ」ということは確かでない; fact12 -> int2: 仮に「あの各薬剤が模写するということはないしさらにそれはパブでない」ということは偽であるとすればフマル酸である; int1 & int2 -> int3: あの各薬剤はフマル酸だ; fact5 & fact4 -> int4: 「あの各薬剤は臭くなくて等しない」ということは間違っている; fact7 -> int5: もし「あの各薬剤は臭くないしおまけにそれは等しない」ということは成り立たないとすればフマル酸でない; int4 & int5 -> int6: あの各薬剤はフマル酸だということはない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: この膝痛は刻苦勉励しない; fact13 -> int9: この膝痛が刻苦勉励するということはないとすれば筋原線維でない; int8 & int9 -> int10: この膝痛は筋原線維でない; int10 & fact8 -> int11: そのニットキャップは筋原線維であるかあるいは幕張新都心でない; int11 & fact1 -> int12: 「あのファンサイトは椎間関節でない」ということは真実だ; int12 & fact3 -> hypothesis; __DISPROVED__
事実1: もしそのニットキャップは筋原線維であるかまたは幕張新都心でないとすると「あのファンサイトは椎間関節でない」ということは成り立つ
事実2: もしもこの膝痛が幕張新都心なら筋原線維である
事実3: もし仮に「あのファンサイトは椎間関節であるということはない」ということは本当だとするとあの究極体は分厚くない
事実4: もしもあの各薬剤は政権内ならば「臭くないしさらに等しない」ということは誤りである
事実5: あの各薬剤は政権内である
事実6: もしもこの膝痛は刻苦勉励するとすれば「あの各薬剤は模写しなくてまたパブでない」ということは偽だ
事実7: もし仮に「なにかは臭くなくてその上等しない」ということは誤りなら「フマル酸でない」ということは正しい
事実8: もし仮にこの膝痛が筋原線維でないならそのニットキャップは筋原線維であるかまたは幕張新都心でないか両方である
事実9: もし仮にこの膝痛が筋原線維であるとするとあのファンサイトは筋原線維である
事実10: もしもとあるものは刻苦勉励するとすれば「それはパブでないし土豪だということはない」ということは間違っている
事実11: もし何かは刻苦勉励するかもしくはそれはフマル酸でないか両方だとすればそれは刻苦勉励する
事実12: もしも「何かは模写するということはないし更にそれはパブでない」ということは成り立たないとすればそれはフマル酸だ
事実13: 仮に何らかのものが刻苦勉励しないなら筋原線維でない

仮説: あの究極体は分厚い
1. 仮定1: 以下のように仮定する。この膝痛は刻苦勉励する
2. 事実6と仮定1から、推論1: "「「あの各薬剤は模写しなくてパブでない」ということは成り立つ」ということは確かでない"が導かれる
3. 事実12から、推論2: "仮に「あの各薬剤が模写するということはないしさらにそれはパブでない」ということは偽であるとすればフマル酸である"が導かれる
4. 推論1と推論2から、推論3: "あの各薬剤はフマル酸だ"が導かれる
5. 事実5と事実4から、推論4: "「あの各薬剤は臭くなくて等しない」ということは間違っている"が導かれる
6. 事実7から、推論5: "もし「あの各薬剤は臭くないしおまけにそれは等しない」ということは成り立たないとすればフマル酸でない"が導かれる
7. 推論4と推論5から、推論6: "あの各薬剤はフマル酸だということはない"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "この膝痛は刻苦勉励しない"が導かれる
10. 事実13から、推論9: "この膝痛が刻苦勉励するということはないとすれば筋原線維でない"が導かれる
11. 推論8と推論9から、推論10: "この膝痛は筋原線維でない"が導かれる
12. 推論10と事実8から、推論11: "そのニットキャップは筋原線維であるかあるいは幕張新都心でない"が導かれる
13. 推論11と事実1から、推論12: "「あのファンサイトは椎間関節でない」ということは真実だ"が導かれる
14. 推論12と事実3から、仮説が否定される

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