あの素材自体は轢き殺す
fact1: あるものが正当化出来るとしたらそれは国家内でない fact2: 長たらしい物は出血し易い fact3: もしも何らかの物は出血し易くないなら「轢き殺す」ということは成り立つ fact4: この発症例は感ぜないかもしくは奇襲しないかどちらもだ fact5: とある物は使用し易くないとすると「轢き殺すしかつ正当化出来る」ということは間違いだ fact6: もしあの素材自体は正当化出来るか使用し易いかあるいはどちらもであるならばそれは出血し易いということはない fact7: あのブロマイドは長たらしい fact8: もしもあのブロマイドは国家内でないとすると「それは長たらしくておまけに轢き殺す」ということは成り立たない fact9: もし「「轢き殺すしさらに正当化出来る」ということは事実と異なる」物があるとすればあの自前は正当化出来ない fact10: もし仮になにがしかの物が使用し易いとすればそれは正当化出来る fact11: もしも「あの素材自体は使用し易い」ということは本当だとしたら出血し易くない fact12: 仮にあのドルマンが使用し易いならばあのブロマイドは使用し易い fact13: あの素材自体はすっごくない fact14: あの素材自体は遣り辛い fact15: もしなんらかのものが編み進めないならばそれは矢傷である fact16: 仮にあのブロマイドは国家内であるとしたら「あの素材自体は正当化出来る」ということは事実だ fact17: 「遣り辛いしすっごくない」物はあるとしたら「あのブロマイドは使用し易くない」ということは本当だ fact18: もしもあるものが正当化出来ないとすればそれは長たらしいし更にそれは国家内だ fact19: もしこの発症例は感ぜないかまたは奇襲しないかまたは両方ともであるとしたら人絨毛性ゴナドトロピンであるということはない fact20: もし何かは人絨毛性ゴナドトロピンでないならば「「すっごいということはないしまた拘置しない」ということは本当だ」ということは成り立たない fact21: あのブロマイドは長たらしくて国家内だ fact22: 「「すっごくないしその上拘置しない」ということは成り立つということはない」ものがあるとすればこの一次群速度インタフェースは遣り辛くない
fact21 -> int1: あのブロマイドは国家内だ; int1 & fact16 -> int2: あの素材自体は正当化出来る; int2 -> int3: あの素材自体は正当化出来るかもしくは使用し易いかあるいは両方ともである; int3 & fact6 -> int4: あの素材自体は出血し易くない; fact3 -> int5: もし仮にあの素材自体が出血し易いということはないとしたらそれは轢き殺す; int4 & int5 -> hypothesis;
あの自前は出血し易い
fact29 -> int6: もし仮にあの自前が長たらしいならば出血し易い; fact24 -> int7: もしあの自前が正当化出来ないならば長たらしいし加えて国家内だ; fact23 -> int8: あのブロマイドは使用し易くないならば「それは轢き殺すしまたそれは正当化出来る」ということは成り立たない; fact27 & fact28 -> int9: あの素材自体は遣り辛いがすっごくない; int9 -> int10: 遣り辛いしそれにすっごくないものはある; int10 & fact25 -> int11: あのブロマイドは使用し易くない; int8 & int11 -> int12: 「あのブロマイドが轢き殺すしその上それは正当化出来る」ということは成り立たない; int12 -> int13: 「「轢き殺すし更に正当化出来る」ということは真実でない」ものはある; int13 & fact26 -> int14: あの自前は正当化出来ない; int7 & int14 -> int15: あの自前は長たらしくておまけにそれは国家内だ; int15 -> int16: あの自前は長たらしい; int6 & int16 -> hypothesis;
$facts$ = fact1: あるものが正当化出来るとしたらそれは国家内でない fact2: 長たらしい物は出血し易い fact3: もしも何らかの物は出血し易くないなら「轢き殺す」ということは成り立つ fact4: この発症例は感ぜないかもしくは奇襲しないかどちらもだ fact5: とある物は使用し易くないとすると「轢き殺すしかつ正当化出来る」ということは間違いだ fact6: もしあの素材自体は正当化出来るか使用し易いかあるいはどちらもであるならばそれは出血し易いということはない fact7: あのブロマイドは長たらしい fact8: もしもあのブロマイドは国家内でないとすると「それは長たらしくておまけに轢き殺す」ということは成り立たない fact9: もし「「轢き殺すしさらに正当化出来る」ということは事実と異なる」物があるとすればあの自前は正当化出来ない fact10: もし仮になにがしかの物が使用し易いとすればそれは正当化出来る fact11: もしも「あの素材自体は使用し易い」ということは本当だとしたら出血し易くない fact12: 仮にあのドルマンが使用し易いならばあのブロマイドは使用し易い fact13: あの素材自体はすっごくない fact14: あの素材自体は遣り辛い fact15: もしなんらかのものが編み進めないならばそれは矢傷である fact16: 仮にあのブロマイドは国家内であるとしたら「あの素材自体は正当化出来る」ということは事実だ fact17: 「遣り辛いしすっごくない」物はあるとしたら「あのブロマイドは使用し易くない」ということは本当だ fact18: もしもあるものが正当化出来ないとすればそれは長たらしいし更にそれは国家内だ fact19: もしこの発症例は感ぜないかまたは奇襲しないかまたは両方ともであるとしたら人絨毛性ゴナドトロピンであるということはない fact20: もし何かは人絨毛性ゴナドトロピンでないならば「「すっごいということはないしまた拘置しない」ということは本当だ」ということは成り立たない fact21: あのブロマイドは長たらしくて国家内だ fact22: 「「すっごくないしその上拘置しない」ということは成り立つということはない」ものがあるとすればこの一次群速度インタフェースは遣り辛くない ; $hypothesis$ = あの素材自体は轢き殺す ; $proof$ = 
fact21 -> int1: あのブロマイドは国家内だ; int1 & fact16 -> int2: あの素材自体は正当化出来る; int2 -> int3: あの素材自体は正当化出来るかもしくは使用し易いかあるいは両方ともである; int3 & fact6 -> int4: あの素材自体は出血し易くない; fact3 -> int5: もし仮にあの素材自体が出血し易いということはないとしたらそれは轢き殺す; int4 & int5 -> hypothesis; __PROVED__
事実1: あるものが正当化出来るとしたらそれは国家内でない
事実2: 長たらしい物は出血し易い
事実3: もしも何らかの物は出血し易くないなら「轢き殺す」ということは成り立つ
事実4: この発症例は感ぜないかもしくは奇襲しないかどちらもだ
事実5: とある物は使用し易くないとすると「轢き殺すしかつ正当化出来る」ということは間違いだ
事実6: もしあの素材自体は正当化出来るか使用し易いかあるいはどちらもであるならばそれは出血し易いということはない
事実7: あのブロマイドは長たらしい
事実8: もしもあのブロマイドは国家内でないとすると「それは長たらしくておまけに轢き殺す」ということは成り立たない
事実9: もし「「轢き殺すしさらに正当化出来る」ということは事実と異なる」物があるとすればあの自前は正当化出来ない
事実10: もし仮になにがしかの物が使用し易いとすればそれは正当化出来る
事実11: もしも「あの素材自体は使用し易い」ということは本当だとしたら出血し易くない
事実12: 仮にあのドルマンが使用し易いならばあのブロマイドは使用し易い
事実13: あの素材自体はすっごくない
事実14: あの素材自体は遣り辛い
事実15: もしなんらかのものが編み進めないならばそれは矢傷である
事実16: 仮にあのブロマイドは国家内であるとしたら「あの素材自体は正当化出来る」ということは事実だ
事実17: 「遣り辛いしすっごくない」物はあるとしたら「あのブロマイドは使用し易くない」ということは本当だ
事実18: もしもあるものが正当化出来ないとすればそれは長たらしいし更にそれは国家内だ
事実19: もしこの発症例は感ぜないかまたは奇襲しないかまたは両方ともであるとしたら人絨毛性ゴナドトロピンであるということはない
事実20: もし何かは人絨毛性ゴナドトロピンでないならば「「すっごいということはないしまた拘置しない」ということは本当だ」ということは成り立たない
事実21: あのブロマイドは長たらしくて国家内だ
事実22: 「「すっごくないしその上拘置しない」ということは成り立つということはない」ものがあるとすればこの一次群速度インタフェースは遣り辛くない

仮説: あの素材自体は轢き殺す
1. 事実21から、推論1: "あのブロマイドは国家内だ"が導かれる
2. 推論1と事実16から、推論2: "あの素材自体は正当化出来る"が導かれる
3. 推論2から、推論3: "あの素材自体は正当化出来るかもしくは使用し易いかあるいは両方ともである"が導かれる
4. 推論3と事実6から、推論4: "あの素材自体は出血し易くない"が導かれる
5. 事実3から、推論5: "もし仮にあの素材自体が出血し易いということはないとしたらそれは轢き殺す"が導かれる
6. 推論4と推論5から、仮説が導かれる

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