あの胞子は尿路変向き術だ
fact1: もし仮に何らかのものは洗浄・濃縮しないなら「繋がり得ないけど参加意欲である」ということは成り立たない fact2: 何らかの物が繋がり得るなら尿路変向き術である fact3: 仮になんらかの物が繋がり得るしそれが参加意欲だとしたらあの胞子は尿路変向き術でない fact4: 「このバトルタイプＡは洗浄・濃縮しない」ということは成り立つ fact5: 「この屏風は生まれ易くて更に労働者像である」ということは成り立つということはないとすればそのシリンジポンプは結論しない fact6: もし仮に「そのシリンジポンプは結論しない」ということは事実であるとしたらこのバトルタイプＡが結論するということはないしさらにそれは洗浄・濃縮しない fact7: 結論しないしその上洗浄・濃縮するということはないという物はない fact8: 仮にとある物は嘗め始めるということはないがしかし策するとすれば拙くない fact9: もしそのシリンジポンプは結論するということはないとすると「このバトルタイプＡは洗浄・濃縮しない」ということは確かだ fact10: 「このバトルタイプＡは結論しないがそれは洗浄・濃縮する」ということは成り立たない fact11: もしも何かは読み通さないとすると嘗め始めないしそれは策する fact12: もしこの屏風は生まれ易くないなら「そのシリンジポンプは結論する」ということは成り立つということはない fact13: もし仮にこの屏風が繋がり得ないならばその執行証書は繋がり得ないしさらに生まれ易くない fact14: その執行証書は参加意欲だ fact15: 「この屏風は生まれ易くて結論する」ということは成り立たない fact16: 仮にそのサーボが読み通さないとしたらこのバトルタイプＡは読み通さない fact17: 何らかの物は繋がり得る fact18: もし「この屏風は繋がり得ない」ということは成り立つとすればその執行証書は尿路変向き術であるということはないけれど結論する fact19: もし仮にその執行証書が尿路変向き術でないけれどそれが結論するならあの胞子は尿路変向き術だ fact20: なにがしかのものは参加意欲だ fact21: もし仮にこのバトルタイプＡが同種・同等・同量であるということはないけど海外旅行ブームならばそのシリンジポンプは洗浄・濃縮するということはない fact22: 拙くない物は同種・同等・同量でない一方で海外旅行ブームだ fact23: その執行証書は繋がり得ないとしたら「この屏風は生まれ易くてそれにそれは労働者像だ」ということは成り立たない fact24: 仮に「そのシリンジポンプは繋がり得ないがしかし参加意欲だ」ということは間違いであるならこの屏風は繋がり得ない
void -> assump1: 以下のように仮定する。その執行証書は繋がり得ない; fact23 & assump1 -> int1: 「この屏風は生まれ易くて労働者像だ」ということは誤りだ; int1 & fact5 -> int2: そのシリンジポンプは結論しない; int2 & fact6 -> int3: このバトルタイプＡは結論しなくてまた洗浄・濃縮しない; fact7 -> int4: 「このバトルタイプＡは結論しないしそれは洗浄・濃縮しない」ということは誤りだ; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その執行証書は繋がり得る; int6 & fact14 -> int7: その執行証書は繋がり得るしまた参加意欲である; int7 -> int8: 「繋がり得るし参加意欲である」物はある; int8 & fact3 -> hypothesis;
あの胞子は尿路変向き術である
fact25 -> int9: もしあの胞子が繋がり得るとするとそれは尿路変向き術だ;
$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: 仮に「そのシリンジポンプは繋がり得ないがしかし参加意欲だ」ということは間違いであるならこの屏風は繋がり得ない ; $hypothesis$ = あの胞子は尿路変向き術だ ; $proof$ = 
void -> assump1: 以下のように仮定する。その執行証書は繋がり得ない; fact23 & assump1 -> int1: 「この屏風は生まれ易くて労働者像だ」ということは誤りだ; int1 & fact5 -> int2: そのシリンジポンプは結論しない; int2 & fact6 -> int3: このバトルタイプＡは結論しなくてまた洗浄・濃縮しない; fact7 -> int4: 「このバトルタイプＡは結論しないしそれは洗浄・濃縮しない」ということは誤りだ; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その執行証書は繋がり得る; int6 & fact14 -> int7: その執行証書は繋がり得るしまた参加意欲である; int7 -> int8: 「繋がり得るし参加意欲である」物はある; int8 & fact3 -> 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: その執行証書は繋がり得ないとしたら「この屏風は生まれ易くてそれにそれは労働者像だ」ということは成り立たない
事実24: 仮に「そのシリンジポンプは繋がり得ないがしかし参加意欲だ」ということは間違いであるならこの屏風は繋がり得ない

仮説: あの胞子は尿路変向き術だ
1. 仮定1: 以下のように仮定する。その執行証書は繋がり得ない
2. 事実23と仮定1から、推論1: "「この屏風は生まれ易くて労働者像だ」ということは誤りだ"が導かれる
3. 推論1と事実5から、推論2: "そのシリンジポンプは結論しない"が導かれる
4. 推論2と事実6から、推論3: "このバトルタイプＡは結論しなくてまた洗浄・濃縮しない"が導かれる
5. 事実7から、推論4: "「このバトルタイプＡは結論しないしそれは洗浄・濃縮しない」ということは誤りだ"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その執行証書は繋がり得る"が導かれる
8. 推論6と事実14から、推論7: "その執行証書は繋がり得るしまた参加意欲である"が導かれる
9. 推論7から、推論8: "「繋がり得るし参加意欲である」物はある"が導かれる
10. 推論8と事実3から、仮説が否定される

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