この未処理は魅惑するしさらに遣り辛い
fact1: もしこの第三中隊が仄白いけれど仲間らしくないならあの左翼陣営は仲間らしい fact2: この第三中隊は遣り辛くない fact3: この第三中隊は壊れ易くない fact4: 抱えは出会えないがしかし仄白い fact5: 「あの襤褸は亡命社会だが一弾でない」ということは成り立たないなら抱えである fact6: もしこの未処理が救命しないとすれば抱えであるし敵中深い fact7: もしこの第三中隊が壊れ易くないならこの未処理は遣り辛い fact8: もしもあの襤褸が出会えなくて仲間らしいということはないとしたらこの第三中隊は壊れ易い fact9: 仮にこの第三中隊が壊れ易くないならばこの未処理は魅惑するし遣り辛い fact10: もしあの襤褸は救命するとしたら「それは敵中深い」ということは誤りでない fact11: 仮になにかは仲間らしいとすればそれは出会えるしそれに壊れ易くない fact12: 何かは敵中深いならば「仲間らしくない」ということは確かである fact13: あの襤褸は救命する fact14: もしこの未処理が遣り辛いということはないならこの第三中隊は壊れ易いし魅惑する fact15: 仮になにがしかのものが出会える一方でそれが壊れ易くないなら遣り辛くない
fact9 & fact3 -> hypothesis;
fact9 & fact3 -> hypothesis;
「この未処理は魅惑するし更に遣り辛い」ということは誤りである
fact17 -> int1: もし「あの襤褸は抱えである」ということは真実であるとすれば出会えるということはなくてしかもそれは仄白い; fact21 -> int2: あの襤褸が敵中深いとしたらそれは仲間らしいということはない; fact19 & fact16 -> int3: あの襤褸は敵中深い; int2 & int3 -> int4: あの襤褸は仲間らしいということはない;
$facts$ = fact1: もしこの第三中隊が仄白いけれど仲間らしくないならあの左翼陣営は仲間らしい fact2: この第三中隊は遣り辛くない fact3: この第三中隊は壊れ易くない fact4: 抱えは出会えないがしかし仄白い fact5: 「あの襤褸は亡命社会だが一弾でない」ということは成り立たないなら抱えである fact6: もしこの未処理が救命しないとすれば抱えであるし敵中深い fact7: もしこの第三中隊が壊れ易くないならこの未処理は遣り辛い fact8: もしもあの襤褸が出会えなくて仲間らしいということはないとしたらこの第三中隊は壊れ易い fact9: 仮にこの第三中隊が壊れ易くないならばこの未処理は魅惑するし遣り辛い fact10: もしあの襤褸は救命するとしたら「それは敵中深い」ということは誤りでない fact11: 仮になにかは仲間らしいとすればそれは出会えるしそれに壊れ易くない fact12: 何かは敵中深いならば「仲間らしくない」ということは確かである fact13: あの襤褸は救命する fact14: もしこの未処理が遣り辛いということはないならこの第三中隊は壊れ易いし魅惑する fact15: 仮になにがしかのものが出会える一方でそれが壊れ易くないなら遣り辛くない ; $hypothesis$ = この未処理は魅惑するしさらに遣り辛い ; $proof$ = 
fact9 & fact3 -> hypothesis; __PROVED__
事実1: もしこの第三中隊が仄白いけれど仲間らしくないならあの左翼陣営は仲間らしい
事実2: この第三中隊は遣り辛くない
事実3: この第三中隊は壊れ易くない
事実4: 抱えは出会えないがしかし仄白い
事実5: 「あの襤褸は亡命社会だが一弾でない」ということは成り立たないなら抱えである
事実6: もしこの未処理が救命しないとすれば抱えであるし敵中深い
事実7: もしこの第三中隊が壊れ易くないならこの未処理は遣り辛い
事実8: もしもあの襤褸が出会えなくて仲間らしいということはないとしたらこの第三中隊は壊れ易い
事実9: 仮にこの第三中隊が壊れ易くないならばこの未処理は魅惑するし遣り辛い
事実10: もしあの襤褸は救命するとしたら「それは敵中深い」ということは誤りでない
事実11: 仮になにかは仲間らしいとすればそれは出会えるしそれに壊れ易くない
事実12: 何かは敵中深いならば「仲間らしくない」ということは確かである
事実13: あの襤褸は救命する
事実14: もしこの未処理が遣り辛いということはないならこの第三中隊は壊れ易いし魅惑する
事実15: 仮になにがしかのものが出会える一方でそれが壊れ易くないなら遣り辛くない

仮説: この未処理は魅惑するしさらに遣り辛い
1. 事実9と事実3から、仮説が導かれる

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