あの法律制度は押し出し機でない
fact1: もし仮にあの法律制度は慎むなら「その五人編成は逆風切りだがあざとくない」ということは事実と異なる fact2: もしあの法律制度が思い入れるとしたら実現し得ない fact3: 「逆風切りでない」ものはある fact4: もしも何かは慎めばそれは押し出し機である fact5: 「逆風切りな」物はある fact6: その政治理念は実行し易くないとしたらそれは押し出し機でそれに続行する fact7: もし仮に「あの法律制度は実現し得るけれど逆風切りでない」ということは誤りであるならばそれは押し出し機であるということはない fact8: 「とある物はチェックポイントだけれどそれは開国しない」ということは誤りならば署名しない fact9: もし仮に「押し出し機でない」ものはあるとすれば「あの法律制度は逆風切りでまたそれは実現し得る」ということは事実と異なる fact10: 仮にあの法律制度は逆風切りであるとするとそれは押し出し機でない fact11: 「「あの回顧はみみっちくないし読み辛いということはない」ということは成り立つ」ということは成り立たない fact12: もしなにかはみみっちいとすれば「それはチェックポイントで更にそれは開国しない」ということは嘘だ fact13: とある物は押し出し機であるなら「実現し得ないし慎まない」ということは成り立つということはない fact14: 「この先般は調査・研究するけれど押し出し機でない」ということは嘘だ fact15: 「慎む」ものはある fact16: 仮に「あの回顧はみみっちくないし加えてそれは読み辛くない」ということは事実でないならこのターミナル部分はみみっちい fact17: もし仮に「このターミナル部分は署名しない」ということは間違いでないならば「その鯉は続行するしそれに実行し易い」ということは成り立たない fact18: なにかは慎まないとすると「あの法律制度は実現し得るけど逆風切りだということはない」ということは事実と異なる fact19: もし仮にその政治理念が逆風切りでないとしたらあの法律制度は慎むし実現し得る fact20: なにかは慎まない
fact20 & fact18 -> int1: 「あの法律制度は実現し得るが逆風切りでない」ということは成り立たない; int1 & fact7 -> hypothesis;
あの法律制度は押し出し機だ
fact27 -> int2: もし仮にあの法律制度が慎むならそれは押し出し機である; fact25 -> int3: 仮に「このターミナル部分はチェックポイントであるけど開国するということはない」ということは事実と異なるとしたら署名しない; fact21 -> int4: もし仮にこのターミナル部分はみみっちいならば「チェックポイントであるしそれは開国しない」ということは成り立たない; fact23 & fact26 -> int5: このターミナル部分はみみっちい; int4 & int5 -> int6: 「このターミナル部分はチェックポイントであるけれどそれは開国しない」ということは誤りだ; int3 & int6 -> int7: このターミナル部分は署名しない; fact24 & int7 -> int8: 「その鯉は続行するし実行し易い」ということは間違っている; int8 -> int9: 「「続行するし実行し易い」ということは間違いである」ものはある;
$facts$ = fact1: もし仮にあの法律制度は慎むなら「その五人編成は逆風切りだがあざとくない」ということは事実と異なる fact2: もしあの法律制度が思い入れるとしたら実現し得ない fact3: 「逆風切りでない」ものはある fact4: もしも何かは慎めばそれは押し出し機である fact5: 「逆風切りな」物はある fact6: その政治理念は実行し易くないとしたらそれは押し出し機でそれに続行する fact7: もし仮に「あの法律制度は実現し得るけれど逆風切りでない」ということは誤りであるならばそれは押し出し機であるということはない fact8: 「とある物はチェックポイントだけれどそれは開国しない」ということは誤りならば署名しない fact9: もし仮に「押し出し機でない」ものはあるとすれば「あの法律制度は逆風切りでまたそれは実現し得る」ということは事実と異なる fact10: 仮にあの法律制度は逆風切りであるとするとそれは押し出し機でない fact11: 「「あの回顧はみみっちくないし読み辛いということはない」ということは成り立つ」ということは成り立たない fact12: もしなにかはみみっちいとすれば「それはチェックポイントで更にそれは開国しない」ということは嘘だ fact13: とある物は押し出し機であるなら「実現し得ないし慎まない」ということは成り立つということはない fact14: 「この先般は調査・研究するけれど押し出し機でない」ということは嘘だ fact15: 「慎む」ものはある fact16: 仮に「あの回顧はみみっちくないし加えてそれは読み辛くない」ということは事実でないならこのターミナル部分はみみっちい fact17: もし仮に「このターミナル部分は署名しない」ということは間違いでないならば「その鯉は続行するしそれに実行し易い」ということは成り立たない fact18: なにかは慎まないとすると「あの法律制度は実現し得るけど逆風切りだということはない」ということは事実と異なる fact19: もし仮にその政治理念が逆風切りでないとしたらあの法律制度は慎むし実現し得る fact20: なにかは慎まない ; $hypothesis$ = あの法律制度は押し出し機でない ; $proof$ = 
fact20 & fact18 -> int1: 「あの法律制度は実現し得るが逆風切りでない」ということは成り立たない; int1 & fact7 -> hypothesis; __PROVED__
事実1: もし仮にあの法律制度は慎むなら「その五人編成は逆風切りだがあざとくない」ということは事実と異なる
事実2: もしあの法律制度が思い入れるとしたら実現し得ない
事実3: 「逆風切りでない」ものはある
事実4: もしも何かは慎めばそれは押し出し機である
事実5: 「逆風切りな」物はある
事実6: その政治理念は実行し易くないとしたらそれは押し出し機でそれに続行する
事実7: もし仮に「あの法律制度は実現し得るけれど逆風切りでない」ということは誤りであるならばそれは押し出し機であるということはない
事実8: 「とある物はチェックポイントだけれどそれは開国しない」ということは誤りならば署名しない
事実9: もし仮に「押し出し機でない」ものはあるとすれば「あの法律制度は逆風切りでまたそれは実現し得る」ということは事実と異なる
事実10: 仮にあの法律制度は逆風切りであるとするとそれは押し出し機でない
事実11: 「「あの回顧はみみっちくないし読み辛いということはない」ということは成り立つ」ということは成り立たない
事実12: もしなにかはみみっちいとすれば「それはチェックポイントで更にそれは開国しない」ということは嘘だ
事実13: とある物は押し出し機であるなら「実現し得ないし慎まない」ということは成り立つということはない
事実14: 「この先般は調査・研究するけれど押し出し機でない」ということは嘘だ
事実15: 「慎む」ものはある
事実16: 仮に「あの回顧はみみっちくないし加えてそれは読み辛くない」ということは事実でないならこのターミナル部分はみみっちい
事実17: もし仮に「このターミナル部分は署名しない」ということは間違いでないならば「その鯉は続行するしそれに実行し易い」ということは成り立たない
事実18: なにかは慎まないとすると「あの法律制度は実現し得るけど逆風切りだということはない」ということは事実と異なる
事実19: もし仮にその政治理念が逆風切りでないとしたらあの法律制度は慎むし実現し得る
事実20: なにかは慎まない

仮説: あの法律制度は押し出し機でない
1. 事実20と事実18から、推論1: "「あの法律制度は実現し得るが逆風切りでない」ということは成り立たない"が導かれる
2. 推論1と事実7から、仮説が導かれる

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