あの不平等は励める
fact1: 入り辛いものはブレンドしないかもしくは逆掲揚するかあるいはどちらもだ fact2: とあるものがブレンドしないならそれは候であるし呼び掛ける fact3: あの不平等は捕まえる fact4: 「あの不平等は励める」ということは成り立つ fact5: もし「判断出来る」ものがあるならあの利息分は遡行するがそれは弄くらない fact6: とあるものが香り立てばそれは取り返せるか遠しないかもしくはどちらもである fact7: 仮になにがしかの物が弄くらないとすれば励めるしそれに遡行する fact8: もしもそのゴーパルケーラー村生まれが候であるならばあのコンデンスミルクは候だ fact9: もしこのボリシェビキがブレンドしないかあるいは逆掲揚するかあるいはどちらもだとしたらそのゴーパルケーラー村生まれはブレンドしない fact10: 「このボリシェビキは入り辛い」ということは成り立つ fact11: この変更有りは励める fact12: もし仮にそのコンデンスミルクは取り返せるかあるいは遠しないなら判断出来る fact13: 候は香り立つ fact14: 「あの日の目は励める」ということは成り立つ
fact4 -> hypothesis;
fact4 -> hypothesis;
この賤民制は励める
fact15 -> int1: 「この賤民制は弄くらない」ということは本当だとすればそれは励めるし更に遡行する;
$facts$ = fact1: 入り辛いものはブレンドしないかもしくは逆掲揚するかあるいはどちらもだ fact2: とあるものがブレンドしないならそれは候であるし呼び掛ける fact3: あの不平等は捕まえる fact4: 「あの不平等は励める」ということは成り立つ fact5: もし「判断出来る」ものがあるならあの利息分は遡行するがそれは弄くらない fact6: とあるものが香り立てばそれは取り返せるか遠しないかもしくはどちらもである fact7: 仮になにがしかの物が弄くらないとすれば励めるしそれに遡行する fact8: もしもそのゴーパルケーラー村生まれが候であるならばあのコンデンスミルクは候だ fact9: もしこのボリシェビキがブレンドしないかあるいは逆掲揚するかあるいはどちらもだとしたらそのゴーパルケーラー村生まれはブレンドしない fact10: 「このボリシェビキは入り辛い」ということは成り立つ fact11: この変更有りは励める fact12: もし仮にそのコンデンスミルクは取り返せるかあるいは遠しないなら判断出来る fact13: 候は香り立つ fact14: 「あの日の目は励める」ということは成り立つ ; $hypothesis$ = あの不平等は励める ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: 入り辛いものはブレンドしないかもしくは逆掲揚するかあるいはどちらもだ
事実2: とあるものがブレンドしないならそれは候であるし呼び掛ける
事実3: あの不平等は捕まえる
事実4: 「あの不平等は励める」ということは成り立つ
事実5: もし「判断出来る」ものがあるならあの利息分は遡行するがそれは弄くらない
事実6: とあるものが香り立てばそれは取り返せるか遠しないかもしくはどちらもである
事実7: 仮になにがしかの物が弄くらないとすれば励めるしそれに遡行する
事実8: もしもそのゴーパルケーラー村生まれが候であるならばあのコンデンスミルクは候だ
事実9: もしこのボリシェビキがブレンドしないかあるいは逆掲揚するかあるいはどちらもだとしたらそのゴーパルケーラー村生まれはブレンドしない
事実10: 「このボリシェビキは入り辛い」ということは成り立つ
事実11: この変更有りは励める
事実12: もし仮にそのコンデンスミルクは取り返せるかあるいは遠しないなら判断出来る
事実13: 候は香り立つ
事実14: 「あの日の目は励める」ということは成り立つ

仮説: あの不平等は励める
1. 事実4から、仮説が導かれる

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