このＩＤＭは書き入れないし際限無くない
fact1: もしもこの発生原因は彫り器だとしたら「その気斥圧は仮死状態でないかあるいはそれは逃避しない」ということは嘘だ fact2: もし仮にあの歴史的変遷が地裁でないとすればそれは突き回すしさらに引き出し易い fact3: 仮に「あの歴史的変遷は焼却処分しないけどそれは噴出だ」ということは嘘であるとすればそれは突き回さない fact4: あの歴史的変遷が突き回さないとするとこのＩＤＭは書き入れないしかつ際限無くない fact5: もし「その気斥圧は仮死状態でないかそれは逃避するということはない」ということは成り立たないならばあの登録画面は仮死状態であるということはない fact6: もしも「「際限無いか書き入れるかもしくは両方だ」ということは間違いな」ものがあるとするとあの歴史的変遷は噴出である fact7: 「あの歴史的変遷は焼却処分するということはないが噴出だ」ということは事実と異なる fact8: もし仮に「あの歴史的変遷は書き入れない」ということは正しいならこのＩＤＭは突き回すということはない fact9: 「何かは突き回せば「それは書き入れないし加えて際限無くない」ということは成り立たない」ということは正しい fact10: この登録画面は仮死状態でないならば「このＩＤＭは際限無いか書き入れる」ということは成り立たない fact11: あの歴史的変遷が噴出で加えて突き回すならそのフェンスは噴出でない
fact3 & fact7 -> int1: あの歴史的変遷は突き回さない; int1 & fact4 -> hypothesis;
fact3 & fact7 -> int1: ¬{B}{a}; int1 & fact4 -> hypothesis;
そのフェンスは噴出でない
$facts$ = fact1: もしもこの発生原因は彫り器だとしたら「その気斥圧は仮死状態でないかあるいはそれは逃避しない」ということは嘘だ fact2: もし仮にあの歴史的変遷が地裁でないとすればそれは突き回すしさらに引き出し易い fact3: 仮に「あの歴史的変遷は焼却処分しないけどそれは噴出だ」ということは嘘であるとすればそれは突き回さない fact4: あの歴史的変遷が突き回さないとするとこのＩＤＭは書き入れないしかつ際限無くない fact5: もし「その気斥圧は仮死状態でないかそれは逃避するということはない」ということは成り立たないならばあの登録画面は仮死状態であるということはない fact6: もしも「「際限無いか書き入れるかもしくは両方だ」ということは間違いな」ものがあるとするとあの歴史的変遷は噴出である fact7: 「あの歴史的変遷は焼却処分するということはないが噴出だ」ということは事実と異なる fact8: もし仮に「あの歴史的変遷は書き入れない」ということは正しいならこのＩＤＭは突き回すということはない fact9: 「何かは突き回せば「それは書き入れないし加えて際限無くない」ということは成り立たない」ということは正しい fact10: この登録画面は仮死状態でないならば「このＩＤＭは際限無いか書き入れる」ということは成り立たない fact11: あの歴史的変遷が噴出で加えて突き回すならそのフェンスは噴出でない ; $hypothesis$ = このＩＤＭは書き入れないし際限無くない ; $proof$ = 
fact3 & fact7 -> int1: あの歴史的変遷は突き回さない; int1 & fact4 -> hypothesis; __PROVED__
事実1: もしもこの発生原因は彫り器だとしたら「その気斥圧は仮死状態でないかあるいはそれは逃避しない」ということは嘘だ
事実2: もし仮にあの歴史的変遷が地裁でないとすればそれは突き回すしさらに引き出し易い
事実3: 仮に「あの歴史的変遷は焼却処分しないけどそれは噴出だ」ということは嘘であるとすればそれは突き回さない
事実4: あの歴史的変遷が突き回さないとするとこのＩＤＭは書き入れないしかつ際限無くない
事実5: もし「その気斥圧は仮死状態でないかそれは逃避するということはない」ということは成り立たないならばあの登録画面は仮死状態であるということはない
事実6: もしも「「際限無いか書き入れるかもしくは両方だ」ということは間違いな」ものがあるとするとあの歴史的変遷は噴出である
事実7: 「あの歴史的変遷は焼却処分するということはないが噴出だ」ということは事実と異なる
事実8: もし仮に「あの歴史的変遷は書き入れない」ということは正しいならこのＩＤＭは突き回すということはない
事実9: 「何かは突き回せば「それは書き入れないし加えて際限無くない」ということは成り立たない」ということは正しい
事実10: この登録画面は仮死状態でないならば「このＩＤＭは際限無いか書き入れる」ということは成り立たない
事実11: あの歴史的変遷が噴出で加えて突き回すならそのフェンスは噴出でない

仮説: このＩＤＭは書き入れないし際限無くない
1. 事実3と事実7から、推論1: "あの歴史的変遷は突き回さない"が導かれる
2. 推論1と事実4から、仮説が導かれる

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