「あの滑り出しは住生活だということはない一方で頻りにする」ということは間違いだ
fact1: 何もかもは乗り易い fact2: もし仮に何かは流れ易くないとしたら騒がしくて乗り易い fact3: あの滑り出しは騒がしいとすれば「その帝国陸軍は住生活だ」ということは本当だ fact4: もし何らかのものが出荷計画であるし加えて内示するとすればあの滑り出しは流れ易いということはない fact5: 仮にそのＰＢＳＣ採取が名付けるとすればそれは開き易い fact6: そのＰＢＳＣ採取は名付けるがしかし粘っこくない fact7: もし仮にそのＰＢＳＣ採取は確認し難いということはないなら「それは激励だがしかし突き込まない」ということは事実と異なる fact8: 全ての物は新しい fact9: もし仮に「そのＰＢＳＣ採取は激励であるけれど突き込むということはない」ということは事実でないとしたらそれは突き込む fact10: そのＰＢＳＣ採取は確認し難くない fact11: あの滑り出しは住生活でない fact12: あの滑り出しは激励でないがしかしそれは高邁である fact13: もしとあるものが突き込むとすればそれは内示する fact14: 「あの滑り出しは住生活であるし更にそれは頻りにする」ということは誤りである fact15: あの滑り出しが住生活でないけど頻りにするとすればその帝国陸軍は乗り易くない fact16: なんらかのものが開き易いとすればそれは出荷計画である
void -> assump1: 以下のように仮定する。あの滑り出しは住生活だということはない一方で頻りにする; fact15 & assump1 -> int1: その帝国陸軍は乗り易くない; fact1 -> int2: 「その帝国陸軍は乗り易い」ということは正しい; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
その帝国陸軍は住生活だ
fact24 -> int4: 仮にあの滑り出しが流れ易くないならそれは騒がしくて乗り易い; fact18 -> int5: もしもそのＰＢＳＣ採取が開き易いとするとそれは出荷計画である; fact23 -> int6: そのＰＢＳＣ採取は名付ける; fact17 & int6 -> int7: そのＰＢＳＣ採取は開き易い; int5 & int7 -> int8: そのＰＢＳＣ採取は出荷計画である; fact26 -> int9: もしそのＰＢＳＣ採取が突き込むとしたら内示する; fact21 & fact22 -> int10: 「「そのＰＢＳＣ採取は激励だけれど突き込まない」ということは成り立つということはない」ということは確かだ; fact20 & int10 -> int11: そのＰＢＳＣ採取は突き込む; int9 & int11 -> int12: 「そのＰＢＳＣ採取は内示する」ということは正しい; int8 & int12 -> int13: そのＰＢＳＣ採取は出荷計画であるし内示する; int13 -> int14: 「出荷計画で内示する」ものはある; int14 & fact19 -> int15: あの滑り出しは流れ易いということはない; int4 & int15 -> int16: あの滑り出しは騒がしくて更に乗り易い; int16 -> int17: あの滑り出しは騒がしい; fact25 & int17 -> hypothesis;
$facts$ = fact1: 何もかもは乗り易い fact2: もし仮に何かは流れ易くないとしたら騒がしくて乗り易い fact3: あの滑り出しは騒がしいとすれば「その帝国陸軍は住生活だ」ということは本当だ fact4: もし何らかのものが出荷計画であるし加えて内示するとすればあの滑り出しは流れ易いということはない fact5: 仮にそのＰＢＳＣ採取が名付けるとすればそれは開き易い fact6: そのＰＢＳＣ採取は名付けるがしかし粘っこくない fact7: もし仮にそのＰＢＳＣ採取は確認し難いということはないなら「それは激励だがしかし突き込まない」ということは事実と異なる fact8: 全ての物は新しい fact9: もし仮に「そのＰＢＳＣ採取は激励であるけれど突き込むということはない」ということは事実でないとしたらそれは突き込む fact10: そのＰＢＳＣ採取は確認し難くない fact11: あの滑り出しは住生活でない fact12: あの滑り出しは激励でないがしかしそれは高邁である fact13: もしとあるものが突き込むとすればそれは内示する fact14: 「あの滑り出しは住生活であるし更にそれは頻りにする」ということは誤りである fact15: あの滑り出しが住生活でないけど頻りにするとすればその帝国陸軍は乗り易くない fact16: なんらかのものが開き易いとすればそれは出荷計画である ; $hypothesis$ = 「あの滑り出しは住生活だということはない一方で頻りにする」ということは間違いだ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの滑り出しは住生活だということはない一方で頻りにする; fact15 & assump1 -> int1: その帝国陸軍は乗り易くない; fact1 -> int2: 「その帝国陸軍は乗り易い」ということは正しい; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 何もかもは乗り易い
事実2: もし仮に何かは流れ易くないとしたら騒がしくて乗り易い
事実3: あの滑り出しは騒がしいとすれば「その帝国陸軍は住生活だ」ということは本当だ
事実4: もし何らかのものが出荷計画であるし加えて内示するとすればあの滑り出しは流れ易いということはない
事実5: 仮にそのＰＢＳＣ採取が名付けるとすればそれは開き易い
事実6: そのＰＢＳＣ採取は名付けるがしかし粘っこくない
事実7: もし仮にそのＰＢＳＣ採取は確認し難いということはないなら「それは激励だがしかし突き込まない」ということは事実と異なる
事実8: 全ての物は新しい
事実9: もし仮に「そのＰＢＳＣ採取は激励であるけれど突き込むということはない」ということは事実でないとしたらそれは突き込む
事実10: そのＰＢＳＣ採取は確認し難くない
事実11: あの滑り出しは住生活でない
事実12: あの滑り出しは激励でないがしかしそれは高邁である
事実13: もしとあるものが突き込むとすればそれは内示する
事実14: 「あの滑り出しは住生活であるし更にそれは頻りにする」ということは誤りである
事実15: あの滑り出しが住生活でないけど頻りにするとすればその帝国陸軍は乗り易くない
事実16: なんらかのものが開き易いとすればそれは出荷計画である

仮説: 「あの滑り出しは住生活だということはない一方で頻りにする」ということは間違いだ
1. 仮定1: 以下のように仮定する。あの滑り出しは住生活だということはない一方で頻りにする
2. 事実15と仮定1から、推論1: "その帝国陸軍は乗り易くない"が導かれる
3. 事実1から、推論2: "「その帝国陸軍は乗り易い」ということは正しい"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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