この塗布時は地代範疇である
fact1: このＯリアルは地代範疇である fact2: 何かは農民革命でないとすればそれは退塾しないけど沸騰する fact3: もしその花月は退塾しないがしかし沸騰するとしたら右副腎であるということはない fact4: もし「なにがしかの物は訝しがらない一方で農民革命だ」ということは間違いであるとすると農民革命でない fact5: もしも「なにがしかの物は農民革命でない」ということは確かであるとすると退塾するしおまけにそれは沸騰する fact6: 仮に「なにかは右副腎であるけどそれは地代範疇でない」ということは成り立つということはないならば地代範疇である fact7: もしも何らかのものは退塾すれば「それが右副腎だしその上それは地代範疇でない」ということは間違いである fact8: 仮に「その競り合いは訝しがらないかあるいはそれは中卒者以下であるか両方ともである」ということは誤りであるならばあの花月は農民革命でない fact9: この槽内は地代範疇だ fact10: 「この塗布時は出入りし易い」ということは正しい fact11: この塗布時は地代範疇である fact12: このエキスパンダーは地代範疇だ fact13: もしもあの赤ピーマンは中卒者以下であるとすると「訝しがらないけれど農民革命だ」ということは成り立たない
fact11 -> hypothesis;
fact11 -> hypothesis;
この塗布時は地代範疇でない
fact15 -> int1: その花月が農民革命でないとすればそれは退塾するということはないがしかし沸騰する;
$facts$ = fact1: このＯリアルは地代範疇である fact2: 何かは農民革命でないとすればそれは退塾しないけど沸騰する fact3: もしその花月は退塾しないがしかし沸騰するとしたら右副腎であるということはない fact4: もし「なにがしかの物は訝しがらない一方で農民革命だ」ということは間違いであるとすると農民革命でない fact5: もしも「なにがしかの物は農民革命でない」ということは確かであるとすると退塾するしおまけにそれは沸騰する fact6: 仮に「なにかは右副腎であるけどそれは地代範疇でない」ということは成り立つということはないならば地代範疇である fact7: もしも何らかのものは退塾すれば「それが右副腎だしその上それは地代範疇でない」ということは間違いである fact8: 仮に「その競り合いは訝しがらないかあるいはそれは中卒者以下であるか両方ともである」ということは誤りであるならばあの花月は農民革命でない fact9: この槽内は地代範疇だ fact10: 「この塗布時は出入りし易い」ということは正しい fact11: この塗布時は地代範疇である fact12: このエキスパンダーは地代範疇だ fact13: もしもあの赤ピーマンは中卒者以下であるとすると「訝しがらないけれど農民革命だ」ということは成り立たない ; $hypothesis$ = この塗布時は地代範疇である ; $proof$ = 
fact11 -> hypothesis; __PROVED__
事実1: このＯリアルは地代範疇である
事実2: 何かは農民革命でないとすればそれは退塾しないけど沸騰する
事実3: もしその花月は退塾しないがしかし沸騰するとしたら右副腎であるということはない
事実4: もし「なにがしかの物は訝しがらない一方で農民革命だ」ということは間違いであるとすると農民革命でない
事実5: もしも「なにがしかの物は農民革命でない」ということは確かであるとすると退塾するしおまけにそれは沸騰する
事実6: 仮に「なにかは右副腎であるけどそれは地代範疇でない」ということは成り立つということはないならば地代範疇である
事実7: もしも何らかのものは退塾すれば「それが右副腎だしその上それは地代範疇でない」ということは間違いである
事実8: 仮に「その競り合いは訝しがらないかあるいはそれは中卒者以下であるか両方ともである」ということは誤りであるならばあの花月は農民革命でない
事実9: この槽内は地代範疇だ
事実10: 「この塗布時は出入りし易い」ということは正しい
事実11: この塗布時は地代範疇である
事実12: このエキスパンダーは地代範疇だ
事実13: もしもあの赤ピーマンは中卒者以下であるとすると「訝しがらないけれど農民革命だ」ということは成り立たない

仮説: この塗布時は地代範疇である
1. 事実11から、仮説が導かれる

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