あの日本軍部は被害者意識でない
fact1: もし仮にその感染性疾患は商うかあるいは中程度でないなら「あの日本軍部は被害者意識だということはない」ということは成り立つ fact2: 「何かは被害者意識でないし加えてそれは中程度でない」ということは成り立つということはないとしたら被害者意識だ fact3: もし「その感染性疾患は被害者意識であるかそれは商う」ということは誤りであるとするとそれは中程度でない fact4: あの日本軍部は中程度でない fact5: もしも何かは真夜中過ぎでないけど商うならそれはめぼしくない fact6: もし仮にその感染性疾患が中程度でないならばあの日本軍部は被害者意識でない fact7: 「その感染性疾患は中程度でないかもしくは最もらしいかどちらもである」ということは間違っている fact8: 「もしも「あの日本軍部はめぼしくないかもしくは被害者意識であるかまたは両方ともである」ということは偽ならあの日本軍部は最もらしくない」ということは嘘でない fact9: その初回維持量はちっちゃいかまたは商うということはないかもしくはどちらもだ fact10: もし仮に「その初回維持量は商わないか被害者意識であるかまたは両方である」ということは成り立たないなら最もらしくない fact11: その感染性疾患は中程度であるかあるいは奉安するということはないかどちらもだ fact12: もし「その初回維持量はちっちゃいかあるいはめぼしい」ということは嘘だとすればそれは中程度でない fact13: 仮にその初回維持量が期待インフレ率でないとするとあの日本軍部は真夜中過ぎでないが商う fact14: 仮に「「その初回維持量はちっちゃくないかもしくは最もらしいかまたは両方ともである」ということは嘘である」ということは事実ならめぼしくない fact15: もしその初回維持量が接種量だとしたら把握し辛いということはない fact16: 「その初回維持量はちっちゃくないかあるいは最もらしい」ということは間違っている fact17: 仮にその初回維持量がめぼしいということはないならばその感染性疾患は商うかあるいは中程度でない fact18: 仮にあるものは把握し辛くないとすればそれは期待インフレ率でないけれど避け難い fact19: なにがしかのものはめぼしくないならば「被害者意識でなくてまたそれは中程度でない」ということは偽だ fact20: その初回維持量はちっちゃい
fact14 & fact16 -> int1: その初回維持量はめぼしいということはない; int1 & fact17 -> int2: その感染性疾患は商うかもしくは中程度でないかまたは両方ともだ; int2 & fact1 -> hypothesis;
fact14 & fact16 -> int1: ¬{B}{a}; int1 & fact17 -> int2: ({C}{b} v ¬{A}{b}); int2 & fact1 -> hypothesis;
あの日本軍部は被害者意識だ
fact26 -> int3: 「あの日本軍部は被害者意識でなくてかつ中程度であるということはない」ということは成り立たないとすると被害者意識だ; fact25 -> int4: 仮にあの日本軍部はめぼしくないとすると「それは被害者意識でなくておまけに中程度でない」ということは嘘だ; fact22 -> int5: あの日本軍部が真夜中過ぎでないがしかし商うとすればめぼしくない; fact24 -> int6: もしその初回維持量は把握し辛くないとすればそれは期待インフレ率でないが避け難い;
$facts$ = fact1: もし仮にその感染性疾患は商うかあるいは中程度でないなら「あの日本軍部は被害者意識だということはない」ということは成り立つ fact2: 「何かは被害者意識でないし加えてそれは中程度でない」ということは成り立つということはないとしたら被害者意識だ fact3: もし「その感染性疾患は被害者意識であるかそれは商う」ということは誤りであるとするとそれは中程度でない fact4: あの日本軍部は中程度でない fact5: もしも何かは真夜中過ぎでないけど商うならそれはめぼしくない fact6: もし仮にその感染性疾患が中程度でないならばあの日本軍部は被害者意識でない fact7: 「その感染性疾患は中程度でないかもしくは最もらしいかどちらもである」ということは間違っている fact8: 「もしも「あの日本軍部はめぼしくないかもしくは被害者意識であるかまたは両方ともである」ということは偽ならあの日本軍部は最もらしくない」ということは嘘でない fact9: その初回維持量はちっちゃいかまたは商うということはないかもしくはどちらもだ fact10: もし仮に「その初回維持量は商わないか被害者意識であるかまたは両方である」ということは成り立たないなら最もらしくない fact11: その感染性疾患は中程度であるかあるいは奉安するということはないかどちらもだ fact12: もし「その初回維持量はちっちゃいかあるいはめぼしい」ということは嘘だとすればそれは中程度でない fact13: 仮にその初回維持量が期待インフレ率でないとするとあの日本軍部は真夜中過ぎでないが商う fact14: 仮に「「その初回維持量はちっちゃくないかもしくは最もらしいかまたは両方ともである」ということは嘘である」ということは事実ならめぼしくない fact15: もしその初回維持量が接種量だとしたら把握し辛いということはない fact16: 「その初回維持量はちっちゃくないかあるいは最もらしい」ということは間違っている fact17: 仮にその初回維持量がめぼしいということはないならばその感染性疾患は商うかあるいは中程度でない fact18: 仮にあるものは把握し辛くないとすればそれは期待インフレ率でないけれど避け難い fact19: なにがしかのものはめぼしくないならば「被害者意識でなくてまたそれは中程度でない」ということは偽だ fact20: その初回維持量はちっちゃい ; $hypothesis$ = あの日本軍部は被害者意識でない ; $proof$ = 
fact14 & fact16 -> int1: その初回維持量はめぼしいということはない; int1 & fact17 -> int2: その感染性疾患は商うかもしくは中程度でないかまたは両方ともだ; int2 & fact1 -> hypothesis; __PROVED__
事実1: もし仮にその感染性疾患は商うかあるいは中程度でないなら「あの日本軍部は被害者意識だということはない」ということは成り立つ
事実2: 「何かは被害者意識でないし加えてそれは中程度でない」ということは成り立つということはないとしたら被害者意識だ
事実3: もし「その感染性疾患は被害者意識であるかそれは商う」ということは誤りであるとするとそれは中程度でない
事実4: あの日本軍部は中程度でない
事実5: もしも何かは真夜中過ぎでないけど商うならそれはめぼしくない
事実6: もし仮にその感染性疾患が中程度でないならばあの日本軍部は被害者意識でない
事実7: 「その感染性疾患は中程度でないかもしくは最もらしいかどちらもである」ということは間違っている
事実8: 「もしも「あの日本軍部はめぼしくないかもしくは被害者意識であるかまたは両方ともである」ということは偽ならあの日本軍部は最もらしくない」ということは嘘でない
事実9: その初回維持量はちっちゃいかまたは商うということはないかもしくはどちらもだ
事実10: もし仮に「その初回維持量は商わないか被害者意識であるかまたは両方である」ということは成り立たないなら最もらしくない
事実11: その感染性疾患は中程度であるかあるいは奉安するということはないかどちらもだ
事実12: もし「その初回維持量はちっちゃいかあるいはめぼしい」ということは嘘だとすればそれは中程度でない
事実13: 仮にその初回維持量が期待インフレ率でないとするとあの日本軍部は真夜中過ぎでないが商う
事実14: 仮に「「その初回維持量はちっちゃくないかもしくは最もらしいかまたは両方ともである」ということは嘘である」ということは事実ならめぼしくない
事実15: もしその初回維持量が接種量だとしたら把握し辛いということはない
事実16: 「その初回維持量はちっちゃくないかあるいは最もらしい」ということは間違っている
事実17: 仮にその初回維持量がめぼしいということはないならばその感染性疾患は商うかあるいは中程度でない
事実18: 仮にあるものは把握し辛くないとすればそれは期待インフレ率でないけれど避け難い
事実19: なにがしかのものはめぼしくないならば「被害者意識でなくてまたそれは中程度でない」ということは偽だ
事実20: その初回維持量はちっちゃい

仮説: あの日本軍部は被害者意識でない
1. 事実14と事実16から、推論1: "その初回維持量はめぼしいということはない"が導かれる
2. 推論1と事実17から、推論2: "その感染性疾患は商うかもしくは中程度でないかまたは両方ともだ"が導かれる
3. 推論2と事実1から、仮説が導かれる

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