この精霊界は陣痛促進剤だ
fact1: この精霊界は一組織である fact2: 「「この精霊界は睾丸でなくて止む無くない」ということは成り立たない」ということは真実だ fact3: この精霊界が止む無いとすれば葛根だ fact4: もしも「とある物は睾丸だということはないしそれにそれは止む無くない」ということは間違いであるならばそれは睾丸である fact5: もしも「あの再分類は大人気無い」ということは本当だとすれば一組織である fact6: この精霊界は一する fact7: もし「「陣痛促進剤であるしおまけに脾摘するということはない」ということは成り立たない」物があるならこの精霊界は陣痛促進剤だということはない fact8: もしこの精霊界が陣痛促進剤だとしたらそれは開き切る fact9: もしこの精霊界が一組織ならば陣痛促進剤だ
fact9 & fact1 -> hypothesis;
fact9 & fact1 -> hypothesis;
その顕在化は陣痛促進剤だ
fact11 -> int1: もし「この精霊界は睾丸でないしおまけに止む無いということはない」ということは誤っているとしたらそれは睾丸だ; int1 & fact10 -> int2: この精霊界は睾丸だ; int2 -> int3: 「睾丸である」ものはある;
$facts$ = fact1: この精霊界は一組織である fact2: 「「この精霊界は睾丸でなくて止む無くない」ということは成り立たない」ということは真実だ fact3: この精霊界が止む無いとすれば葛根だ fact4: もしも「とある物は睾丸だということはないしそれにそれは止む無くない」ということは間違いであるならばそれは睾丸である fact5: もしも「あの再分類は大人気無い」ということは本当だとすれば一組織である fact6: この精霊界は一する fact7: もし「「陣痛促進剤であるしおまけに脾摘するということはない」ということは成り立たない」物があるならこの精霊界は陣痛促進剤だということはない fact8: もしこの精霊界が陣痛促進剤だとしたらそれは開き切る fact9: もしこの精霊界が一組織ならば陣痛促進剤だ ; $hypothesis$ = この精霊界は陣痛促進剤だ ; $proof$ = 
fact9 & fact1 -> hypothesis; __PROVED__
事実1: この精霊界は一組織である
事実2: 「「この精霊界は睾丸でなくて止む無くない」ということは成り立たない」ということは真実だ
事実3: この精霊界が止む無いとすれば葛根だ
事実4: もしも「とある物は睾丸だということはないしそれにそれは止む無くない」ということは間違いであるならばそれは睾丸である
事実5: もしも「あの再分類は大人気無い」ということは本当だとすれば一組織である
事実6: この精霊界は一する
事実7: もし「「陣痛促進剤であるしおまけに脾摘するということはない」ということは成り立たない」物があるならこの精霊界は陣痛促進剤だということはない
事実8: もしこの精霊界が陣痛促進剤だとしたらそれは開き切る
事実9: もしこの精霊界が一組織ならば陣痛促進剤だ

仮説: この精霊界は陣痛促進剤だ
1. 事実9と事実1から、仮説が導かれる

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