その仮装行列はえぐい
fact1: あの警官達がルール化しないかもしくはそれが中ソでないとするとその仮装行列はえぐくない fact2: 「あの警官達はルール化しないかまたは中ソであるかあるいはどちらもである」ということは確かだ fact3: もしこの女芯はえぐいなら「それは気高し」ということは本当だ fact4: もし仮にこの女芯が気高しということはないとすればあの警官達は優ししそれに急き込む fact5: 仮にあの警官達が科学特捜隊ならばそれは産生する fact6: もしもあるものが急き込まないとするとそれは元亀元年でかつ優し fact7: この女芯は気高しということはない fact8: もし「元亀元年な」物があるとしたらあの警官達は産生しないし加えて科学特捜隊だということはない fact9: この女芯はえぐくない fact10: その仮装行列は優し fact11: もしもなにかは産生するかまたは元亀元年だとすれば優しない fact12: もし「あの警官達はルール化しないか中ソでないかどちらもである」ということは成り立たないとしたら「それは科学特捜隊だ」ということは真実だ
void -> assump1: 以下のように仮定する。「あの警官達はルール化しないかまたは中ソでないかあるいはどちらもである」ということは誤っている; fact12 & assump1 -> int1: あの警官達は科学特捜隊だ; int1 & fact5 -> int2: あの警官達は産生する; int2 -> int3: あの警官達は産生するかあるいはそれは元亀元年であるかあるいは両方である; fact11 -> int4: もしあの警官達が産生するかそれは元亀元年であるかあるいは両方であるならばそれは優しない; int3 & int4 -> int5: あの警官達は優しない; fact4 & fact7 -> int6: あの警官達は優ししそれは急き込む; int6 -> int7: 「あの警官達は優し」ということは確かだ; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの警官達はルール化しないかあるいは中ソでないかどちらもである; int9 & fact1 -> hypothesis;
その仮装行列はえぐい
fact14 -> int10: もし仮にこの日割りが急き込まないとすれば元亀元年だし優し;
$facts$ = fact1: あの警官達がルール化しないかもしくはそれが中ソでないとするとその仮装行列はえぐくない fact2: 「あの警官達はルール化しないかまたは中ソであるかあるいはどちらもである」ということは確かだ fact3: もしこの女芯はえぐいなら「それは気高し」ということは本当だ fact4: もし仮にこの女芯が気高しということはないとすればあの警官達は優ししそれに急き込む fact5: 仮にあの警官達が科学特捜隊ならばそれは産生する fact6: もしもあるものが急き込まないとするとそれは元亀元年でかつ優し fact7: この女芯は気高しということはない fact8: もし「元亀元年な」物があるとしたらあの警官達は産生しないし加えて科学特捜隊だということはない fact9: この女芯はえぐくない fact10: その仮装行列は優し fact11: もしもなにかは産生するかまたは元亀元年だとすれば優しない fact12: もし「あの警官達はルール化しないか中ソでないかどちらもである」ということは成り立たないとしたら「それは科学特捜隊だ」ということは真実だ ; $hypothesis$ = その仮装行列はえぐい ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの警官達はルール化しないかまたは中ソでないかあるいはどちらもである」ということは誤っている; fact12 & assump1 -> int1: あの警官達は科学特捜隊だ; int1 & fact5 -> int2: あの警官達は産生する; int2 -> int3: あの警官達は産生するかあるいはそれは元亀元年であるかあるいは両方である; fact11 -> int4: もしあの警官達が産生するかそれは元亀元年であるかあるいは両方であるならばそれは優しない; int3 & int4 -> int5: あの警官達は優しない; fact4 & fact7 -> int6: あの警官達は優ししそれは急き込む; int6 -> int7: 「あの警官達は優し」ということは確かだ; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの警官達はルール化しないかあるいは中ソでないかどちらもである; int9 & fact1 -> hypothesis; __DISPROVED__
事実1: あの警官達がルール化しないかもしくはそれが中ソでないとするとその仮装行列はえぐくない
事実2: 「あの警官達はルール化しないかまたは中ソであるかあるいはどちらもである」ということは確かだ
事実3: もしこの女芯はえぐいなら「それは気高し」ということは本当だ
事実4: もし仮にこの女芯が気高しということはないとすればあの警官達は優ししそれに急き込む
事実5: 仮にあの警官達が科学特捜隊ならばそれは産生する
事実6: もしもあるものが急き込まないとするとそれは元亀元年でかつ優し
事実7: この女芯は気高しということはない
事実8: もし「元亀元年な」物があるとしたらあの警官達は産生しないし加えて科学特捜隊だということはない
事実9: この女芯はえぐくない
事実10: その仮装行列は優し
事実11: もしもなにかは産生するかまたは元亀元年だとすれば優しない
事実12: もし「あの警官達はルール化しないか中ソでないかどちらもである」ということは成り立たないとしたら「それは科学特捜隊だ」ということは真実だ

仮説: その仮装行列はえぐい
1. 仮定1: 以下のように仮定する。「あの警官達はルール化しないかまたは中ソでないかあるいはどちらもである」ということは誤っている
2. 事実12と仮定1から、推論1: "あの警官達は科学特捜隊だ"が導かれる
3. 推論1と事実5から、推論2: "あの警官達は産生する"が導かれる
4. 推論2から、推論3: "あの警官達は産生するかあるいはそれは元亀元年であるかあるいは両方である"が導かれる
5. 事実11から、推論4: "もしあの警官達が産生するかそれは元亀元年であるかあるいは両方であるならばそれは優しない"が導かれる
6. 推論3と推論4から、推論5: "あの警官達は優しない"が導かれる
7. 事実4と事実7から、推論6: "あの警官達は優ししそれは急き込む"が導かれる
8. 推論6から、推論7: "「あの警官達は優し」ということは確かだ"が導かれる
9. 推論5と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "あの警官達はルール化しないかあるいは中ソでないかどちらもである"が導かれる
11. 推論9と事実1から、仮説が否定される

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