その第一次世界大戦中はちょろいかもしくはそれは大乱闘でない
fact1: その第一次世界大戦中は取っ付き難いとすれば「本譜だしそれに成績だということはない」ということは成り立つということはない fact2: もし「なにがしかの物はＮＡＳＤＡＱ総合指数であるということはなくてまたそれは混ざらない」ということは誤っていればそれは大乱闘でない fact3: もし仮に「あの恵比須講はノーザン線でないかまたは再利用出来るか両方だ」ということは誤りであるとすればあの静養は喋り難いということはない fact4: 「その第一次世界大戦中は本譜だ一方で成績だということはない」ということは成り立たないならこの静養は喋り難い fact5: 仮になにかは取っ付き難くないとすると「ＮＡＳＤＡＱ総合指数でないし加えて混ざらない」ということは事実と異なる fact6: 「あの恵比須講はノーザン線だということはないか再利用出来るか両方ともである」ということは間違いだ
void -> assump1: 以下のように仮定する。その第一次世界大戦中は取っ付き難い; fact1 & assump1 -> int1: 「「その第一次世界大戦中は本譜だけれど成績でない」ということは成り立つ」ということは誤りだ; int1 & fact4 -> int2: この静養は喋り難い; fact3 & fact6 -> int3: この静養は喋り難くない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「その第一次世界大戦中は取っ付き難いということはない」ということは事実である; fact5 -> int6: 仮にその第一次世界大戦中は取っ付き難くないとすると「それはＮＡＳＤＡＱ総合指数でないし混ざらない」ということは成り立たない; int5 & int6 -> int7: 「その第一次世界大戦中はＮＡＳＤＡＱ総合指数でないし加えてそれは混ざるということはない」ということは成り立たない; fact2 -> int8: 仮に「その第一次世界大戦中はＮＡＳＤＡＱ総合指数であるということはないししかも混ざらない」ということは誤っているならそれは大乱闘でない; int7 & int8 -> int9: その第一次世界大戦中は大乱闘であるということはない; int9 -> hypothesis;
$facts$ = fact1: その第一次世界大戦中は取っ付き難いとすれば「本譜だしそれに成績だということはない」ということは成り立つということはない fact2: もし「なにがしかの物はＮＡＳＤＡＱ総合指数であるということはなくてまたそれは混ざらない」ということは誤っていればそれは大乱闘でない fact3: もし仮に「あの恵比須講はノーザン線でないかまたは再利用出来るか両方だ」ということは誤りであるとすればあの静養は喋り難いということはない fact4: 「その第一次世界大戦中は本譜だ一方で成績だということはない」ということは成り立たないならこの静養は喋り難い fact5: 仮になにかは取っ付き難くないとすると「ＮＡＳＤＡＱ総合指数でないし加えて混ざらない」ということは事実と異なる fact6: 「あの恵比須講はノーザン線だということはないか再利用出来るか両方ともである」ということは間違いだ ; $hypothesis$ = その第一次世界大戦中はちょろいかもしくはそれは大乱闘でない ; $proof$ = 
void -> assump1: 以下のように仮定する。その第一次世界大戦中は取っ付き難い; fact1 & assump1 -> int1: 「「その第一次世界大戦中は本譜だけれど成績でない」ということは成り立つ」ということは誤りだ; int1 & fact4 -> int2: この静養は喋り難い; fact3 & fact6 -> int3: この静養は喋り難くない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「その第一次世界大戦中は取っ付き難いということはない」ということは事実である; fact5 -> int6: 仮にその第一次世界大戦中は取っ付き難くないとすると「それはＮＡＳＤＡＱ総合指数でないし混ざらない」ということは成り立たない; int5 & int6 -> int7: 「その第一次世界大戦中はＮＡＳＤＡＱ総合指数でないし加えてそれは混ざるということはない」ということは成り立たない; fact2 -> int8: 仮に「その第一次世界大戦中はＮＡＳＤＡＱ総合指数であるということはないししかも混ざらない」ということは誤っているならそれは大乱闘でない; int7 & int8 -> int9: その第一次世界大戦中は大乱闘であるということはない; int9 -> hypothesis; __PROVED__
事実1: その第一次世界大戦中は取っ付き難いとすれば「本譜だしそれに成績だということはない」ということは成り立つということはない
事実2: もし「なにがしかの物はＮＡＳＤＡＱ総合指数であるということはなくてまたそれは混ざらない」ということは誤っていればそれは大乱闘でない
事実3: もし仮に「あの恵比須講はノーザン線でないかまたは再利用出来るか両方だ」ということは誤りであるとすればあの静養は喋り難いということはない
事実4: 「その第一次世界大戦中は本譜だ一方で成績だということはない」ということは成り立たないならこの静養は喋り難い
事実5: 仮になにかは取っ付き難くないとすると「ＮＡＳＤＡＱ総合指数でないし加えて混ざらない」ということは事実と異なる
事実6: 「あの恵比須講はノーザン線だということはないか再利用出来るか両方ともである」ということは間違いだ

仮説: その第一次世界大戦中はちょろいかもしくはそれは大乱闘でない
1. 仮定1: 以下のように仮定する。その第一次世界大戦中は取っ付き難い
2. 事実1と仮定1から、推論1: "「「その第一次世界大戦中は本譜だけれど成績でない」ということは成り立つ」ということは誤りだ"が導かれる
3. 推論1と事実4から、推論2: "この静養は喋り難い"が導かれる
4. 事実3と事実6から、推論3: "この静養は喋り難くない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「その第一次世界大戦中は取っ付き難いということはない」ということは事実である"が導かれる
7. 事実5から、推論6: "仮にその第一次世界大戦中は取っ付き難くないとすると「それはＮＡＳＤＡＱ総合指数でないし混ざらない」ということは成り立たない"が導かれる
8. 推論5と推論6から、推論7: "「その第一次世界大戦中はＮＡＳＤＡＱ総合指数でないし加えてそれは混ざるということはない」ということは成り立たない"が導かれる
9. 事実2から、推論8: "仮に「その第一次世界大戦中はＮＡＳＤＡＱ総合指数であるということはないししかも混ざらない」ということは誤っているならそれは大乱闘でない"が導かれる
10. 推論7と推論8から、推論9: "その第一次世界大戦中は大乱闘であるということはない"が導かれる
11. 推論9から、仮説が導かれる

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