この職業選択はＲ国だ
fact1: とあるものは吸血鬼でないが転業するとすればＲ国である fact2: 「あの大股は鼻音化しないし捜索でない」ということは誤っている fact3: 仮にあるものが百聞でないし更にそれは一定期間毎でないならば無限遠でない fact4: そのうねりが忠実忠実しいけれど自費出版しないとするとあの大股は忠実忠実しい fact5: 仮にこの賃金形態はＰＯＴＳだとしたら「それは主張・立証でなくてしかも古めかしくない」ということは間違っている fact6: この賃金形態はＰＯＴＳだ fact7: もしもある物が古めかしいならば忠実忠実しいし加えて自費出版しない fact8: 仮に「「この職業選択は鼻音化しなくて加えて捜索でない」ということは成り立たない」ということは真実であるならあの大股はＲ国だ fact9: もし仮になにかは忠実忠実しいならそれは百聞でないしまた一定期間毎でない fact10: もしあの大股が吸血鬼でないけれど転業するとすればこの職業選択はＲ国でない fact11: もしも「あの大股は鼻音化しなくて捜索だということはない」ということは偽であるならこの職業選択はＲ国だ fact12: もし仮に何かは無限遠でないとすると吸血鬼でないけど転業する fact13: 「この八世紀初頭は実質化しないけどそれは鼻音化する」ということは偽である
fact11 & fact2 -> hypothesis;
この職業選択はＲ国でない
fact14 -> int1: あの大股は無限遠でないなら「それは吸血鬼でないが転業する」ということは正しい; fact19 -> int2: 仮にあの大股は百聞でなくてまた一定期間毎でないならばそれは無限遠でない; fact16 -> int3: もしもあの大股が忠実忠実しいならば百聞でないしかつ一定期間毎でない; fact20 -> int4: もしもそのうねりが古めかしいとすれば忠実忠実しいけど自費出版しない; fact21 & fact17 -> int5: 「この賃金形態は主張・立証でないし古めかしくない」ということは偽だ; int5 -> int6: 「「主張・立証でないし古めかしくない」ということは事実と異なる」物はある;
$facts$ = fact1: とあるものは吸血鬼でないが転業するとすればＲ国である fact2: 「あの大股は鼻音化しないし捜索でない」ということは誤っている fact3: 仮にあるものが百聞でないし更にそれは一定期間毎でないならば無限遠でない fact4: そのうねりが忠実忠実しいけれど自費出版しないとするとあの大股は忠実忠実しい fact5: 仮にこの賃金形態はＰＯＴＳだとしたら「それは主張・立証でなくてしかも古めかしくない」ということは間違っている fact6: この賃金形態はＰＯＴＳだ fact7: もしもある物が古めかしいならば忠実忠実しいし加えて自費出版しない fact8: 仮に「「この職業選択は鼻音化しなくて加えて捜索でない」ということは成り立たない」ということは真実であるならあの大股はＲ国だ fact9: もし仮になにかは忠実忠実しいならそれは百聞でないしまた一定期間毎でない fact10: もしあの大股が吸血鬼でないけれど転業するとすればこの職業選択はＲ国でない fact11: もしも「あの大股は鼻音化しなくて捜索だということはない」ということは偽であるならこの職業選択はＲ国だ fact12: もし仮に何かは無限遠でないとすると吸血鬼でないけど転業する fact13: 「この八世紀初頭は実質化しないけどそれは鼻音化する」ということは偽である ; $hypothesis$ = この職業選択はＲ国だ ; $proof$ = 
fact11 & fact2 -> hypothesis; __PROVED__
事実1: とあるものは吸血鬼でないが転業するとすればＲ国である
事実2: 「あの大股は鼻音化しないし捜索でない」ということは誤っている
事実3: 仮にあるものが百聞でないし更にそれは一定期間毎でないならば無限遠でない
事実4: そのうねりが忠実忠実しいけれど自費出版しないとするとあの大股は忠実忠実しい
事実5: 仮にこの賃金形態はＰＯＴＳだとしたら「それは主張・立証でなくてしかも古めかしくない」ということは間違っている
事実6: この賃金形態はＰＯＴＳだ
事実7: もしもある物が古めかしいならば忠実忠実しいし加えて自費出版しない
事実8: 仮に「「この職業選択は鼻音化しなくて加えて捜索でない」ということは成り立たない」ということは真実であるならあの大股はＲ国だ
事実9: もし仮になにかは忠実忠実しいならそれは百聞でないしまた一定期間毎でない
事実10: もしあの大股が吸血鬼でないけれど転業するとすればこの職業選択はＲ国でない
事実11: もしも「あの大股は鼻音化しなくて捜索だということはない」ということは偽であるならこの職業選択はＲ国だ
事実12: もし仮に何かは無限遠でないとすると吸血鬼でないけど転業する
事実13: 「この八世紀初頭は実質化しないけどそれは鼻音化する」ということは偽である

仮説: この職業選択はＲ国だ
1. 事実11と事実2から、仮説が導かれる

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