この歴史哲学は交戦しない
fact1: もしも何かは体感するとしたら交戦しないが往生する fact2: あの脳神経外科は掻き消えない fact3: もし仮に「この歴史哲学はループ電流でないが一概である」ということは成り立つならあの脳神経外科は交戦しない fact4: もしこの枕詞が体感しないならあの脳神経外科はループ電流でないがしかし一概である fact5: あの脳神経外科は一概である fact6: 「あの脳神経外科は交戦するということはない」ということは真実だ fact7: もし仮にあの脳神経外科がループ電流でない一方で一概であるとするとこの歴史哲学は交戦しない fact8: もしもあの脳神経外科が一概でないならばこの歴史哲学はループ電流でないけれど交戦する fact9: この歴史哲学は一概でない fact10: この歴史哲学がループ電流であるし加えて一概であるとしたらあの脳神経外科は交戦しない fact11: この日本テレビ系が儚しならあの脳神経外科は残り難いということはない fact12: もし仮に「この枕詞は背馳するがしかし体感しない」ということは成り立たないとすればあの歴史哲学は交戦する fact13: このＫＴは体感しない fact14: あの脳神経外科は体感しないけどそれは一概である fact15: この枕詞が体感するということはないならあの脳神経外科は一概である fact16: この枕詞は体感しない
fact4 & fact16 -> int1: あの脳神経外科はループ電流でないけれどそれは一概である; int1 & fact7 -> hypothesis;
あの脳神経外科は交戦するということはない一方で往生する
fact17 -> int2: もしあの脳神経外科は体感すれば「それは交戦しないがしかし往生する」ということは成り立つ;
$facts$ = fact1: もしも何かは体感するとしたら交戦しないが往生する fact2: あの脳神経外科は掻き消えない fact3: もし仮に「この歴史哲学はループ電流でないが一概である」ということは成り立つならあの脳神経外科は交戦しない fact4: もしこの枕詞が体感しないならあの脳神経外科はループ電流でないがしかし一概である fact5: あの脳神経外科は一概である fact6: 「あの脳神経外科は交戦するということはない」ということは真実だ fact7: もし仮にあの脳神経外科がループ電流でない一方で一概であるとするとこの歴史哲学は交戦しない fact8: もしもあの脳神経外科が一概でないならばこの歴史哲学はループ電流でないけれど交戦する fact9: この歴史哲学は一概でない fact10: この歴史哲学がループ電流であるし加えて一概であるとしたらあの脳神経外科は交戦しない fact11: この日本テレビ系が儚しならあの脳神経外科は残り難いということはない fact12: もし仮に「この枕詞は背馳するがしかし体感しない」ということは成り立たないとすればあの歴史哲学は交戦する fact13: このＫＴは体感しない fact14: あの脳神経外科は体感しないけどそれは一概である fact15: この枕詞が体感するということはないならあの脳神経外科は一概である fact16: この枕詞は体感しない ; $hypothesis$ = この歴史哲学は交戦しない ; $proof$ = 
fact4 & fact16 -> int1: あの脳神経外科はループ電流でないけれどそれは一概である; int1 & fact7 -> hypothesis; __PROVED__
事実1: もしも何かは体感するとしたら交戦しないが往生する
事実2: あの脳神経外科は掻き消えない
事実3: もし仮に「この歴史哲学はループ電流でないが一概である」ということは成り立つならあの脳神経外科は交戦しない
事実4: もしこの枕詞が体感しないならあの脳神経外科はループ電流でないがしかし一概である
事実5: あの脳神経外科は一概である
事実6: 「あの脳神経外科は交戦するということはない」ということは真実だ
事実7: もし仮にあの脳神経外科がループ電流でない一方で一概であるとするとこの歴史哲学は交戦しない
事実8: もしもあの脳神経外科が一概でないならばこの歴史哲学はループ電流でないけれど交戦する
事実9: この歴史哲学は一概でない
事実10: この歴史哲学がループ電流であるし加えて一概であるとしたらあの脳神経外科は交戦しない
事実11: この日本テレビ系が儚しならあの脳神経外科は残り難いということはない
事実12: もし仮に「この枕詞は背馳するがしかし体感しない」ということは成り立たないとすればあの歴史哲学は交戦する
事実13: このＫＴは体感しない
事実14: あの脳神経外科は体感しないけどそれは一概である
事実15: この枕詞が体感するということはないならあの脳神経外科は一概である
事実16: この枕詞は体感しない

仮説: この歴史哲学は交戦しない
1. 事実4と事実16から、推論1: "あの脳神経外科はループ電流でないけれどそれは一概である"が導かれる
2. 推論1と事実7から、仮説が導かれる

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