あの割り増しは甲斐甲斐しかないし悔しくない
fact1: 「このタブ設定は把握し難くない」ということは正しい fact2: 「とあるものは偏り易いかそれは世知辛いかまたは両方である」ということは間違いなら甲斐甲斐しかない fact3: 「何らかの物は二の次でない」ということは事実である fact4: もしなにがしかのものは転業するかまたは連体修飾語であるならば「それは歌舞伎っぽくない」ということは真実だ fact5: このタブ設定は把握し難くないなら「「あの割り増しは偏り易いかまたはそれは世知辛いかまたは両方である」ということは嘘だ」ということは成り立つ fact6: もし仮にあの軍隊組織は歌舞伎っぽくないとしたら「このタブ設定は二の次でないし断定しない」ということは成り立たない fact7: もしこのタブ設定は甲斐甲斐しかないとすると「「あの割り増しは把握し難いかもしくは二の次であるかもしくはどちらもだ」ということは誤っている」ということは確かである fact8: 「「二の次である」ということは成り立つ」ものはある fact9: 法人間は転業する fact10: 「もし仮にあの軍隊組織が歌舞伎っぽくないとしたらあの軍隊組織は二の次であるしそれは断定する」ということは成り立つ fact11: もし仮にあの軍隊組織がしぶとくないとすると入れ易い fact12: もし仮にある物は把握し難くないとしたら「甲斐甲斐しかないしさらに悔しいということはない」ということは成り立たない fact13: もし「二の次でない」ものはあるとしたら「あの割り増しは二の次であるし更にそれは悔しい」ということは事実と異なる fact14: 入れ易いものは法人間だ fact15: もし仮に「このタブ設定は二の次であるということはなくて更に断定しない」ということは間違いであるならあの割り増しは把握し難くない fact16: もしも「なんらかの物は二の次であるしそれにそれは悔しい」ということは嘘だとすれば悔しくない fact17: もしも「あの割り増しは悔しいということはなくて把握し難いということはない」ということは誤りならこのタブ設定は選択され易くない fact18: 「あの割り増しは偏り易いということはない」ということは正しい
fact5 & fact1 -> int1: 「あの割り増しは偏り易いかあるいは世知辛い」ということは事実でない; fact2 -> int2: 「あの割り増しは偏り易いかまたは世知辛いかもしくは両方ともである」ということは成り立たないとしたらそれは甲斐甲斐しかない; int1 & int2 -> int3: あの割り増しは甲斐甲斐しかない; fact16 -> int4: 仮に「あの割り増しは二の次で悔しい」ということは嘘なら悔しくない; fact3 & fact13 -> int5: 「あの割り増しは二の次で悔しい」ということは誤っている; int4 & int5 -> int6: あの割り増しは悔しくない; int3 & int6 -> hypothesis;
fact5 & fact1 -> int1: ¬({AA}{b} v {AB}{b}); fact2 -> int2: ¬({AA}{b} v {AB}{b}) -> ¬{B}{b}; int1 & int2 -> int3: ¬{B}{b}; fact16 -> int4: ¬({D}{b} & {C}{b}) -> ¬{C}{b}; fact3 & fact13 -> int5: ¬({D}{b} & {C}{b}); int4 & int5 -> int6: ¬{C}{b}; int3 & int6 -> hypothesis;
「この被害者達は選択され易いしおまけにそれは甲斐甲斐しい」ということは正しくない
$facts$ = fact1: 「このタブ設定は把握し難くない」ということは正しい fact2: 「とあるものは偏り易いかそれは世知辛いかまたは両方である」ということは間違いなら甲斐甲斐しかない fact3: 「何らかの物は二の次でない」ということは事実である fact4: もしなにがしかのものは転業するかまたは連体修飾語であるならば「それは歌舞伎っぽくない」ということは真実だ fact5: このタブ設定は把握し難くないなら「「あの割り増しは偏り易いかまたはそれは世知辛いかまたは両方である」ということは嘘だ」ということは成り立つ fact6: もし仮にあの軍隊組織は歌舞伎っぽくないとしたら「このタブ設定は二の次でないし断定しない」ということは成り立たない fact7: もしこのタブ設定は甲斐甲斐しかないとすると「「あの割り増しは把握し難いかもしくは二の次であるかもしくはどちらもだ」ということは誤っている」ということは確かである fact8: 「「二の次である」ということは成り立つ」ものはある fact9: 法人間は転業する fact10: 「もし仮にあの軍隊組織が歌舞伎っぽくないとしたらあの軍隊組織は二の次であるしそれは断定する」ということは成り立つ fact11: もし仮にあの軍隊組織がしぶとくないとすると入れ易い fact12: もし仮にある物は把握し難くないとしたら「甲斐甲斐しかないしさらに悔しいということはない」ということは成り立たない fact13: もし「二の次でない」ものはあるとしたら「あの割り増しは二の次であるし更にそれは悔しい」ということは事実と異なる fact14: 入れ易いものは法人間だ fact15: もし仮に「このタブ設定は二の次であるということはなくて更に断定しない」ということは間違いであるならあの割り増しは把握し難くない fact16: もしも「なんらかの物は二の次であるしそれにそれは悔しい」ということは嘘だとすれば悔しくない fact17: もしも「あの割り増しは悔しいということはなくて把握し難いということはない」ということは誤りならこのタブ設定は選択され易くない fact18: 「あの割り増しは偏り易いということはない」ということは正しい ; $hypothesis$ = あの割り増しは甲斐甲斐しかないし悔しくない ; $proof$ = 
fact5 & fact1 -> int1: 「あの割り増しは偏り易いかあるいは世知辛い」ということは事実でない; fact2 -> int2: 「あの割り増しは偏り易いかまたは世知辛いかもしくは両方ともである」ということは成り立たないとしたらそれは甲斐甲斐しかない; int1 & int2 -> int3: あの割り増しは甲斐甲斐しかない; fact16 -> int4: 仮に「あの割り増しは二の次で悔しい」ということは嘘なら悔しくない; fact3 & fact13 -> int5: 「あの割り増しは二の次で悔しい」ということは誤っている; int4 & int5 -> int6: あの割り増しは悔しくない; int3 & int6 -> hypothesis; __PROVED__
事実1: 「このタブ設定は把握し難くない」ということは正しい
事実2: 「とあるものは偏り易いかそれは世知辛いかまたは両方である」ということは間違いなら甲斐甲斐しかない
事実3: 「何らかの物は二の次でない」ということは事実である
事実4: もしなにがしかのものは転業するかまたは連体修飾語であるならば「それは歌舞伎っぽくない」ということは真実だ
事実5: このタブ設定は把握し難くないなら「「あの割り増しは偏り易いかまたはそれは世知辛いかまたは両方である」ということは嘘だ」ということは成り立つ
事実6: もし仮にあの軍隊組織は歌舞伎っぽくないとしたら「このタブ設定は二の次でないし断定しない」ということは成り立たない
事実7: もしこのタブ設定は甲斐甲斐しかないとすると「「あの割り増しは把握し難いかもしくは二の次であるかもしくはどちらもだ」ということは誤っている」ということは確かである
事実8: 「「二の次である」ということは成り立つ」ものはある
事実9: 法人間は転業する
事実10: 「もし仮にあの軍隊組織が歌舞伎っぽくないとしたらあの軍隊組織は二の次であるしそれは断定する」ということは成り立つ
事実11: もし仮にあの軍隊組織がしぶとくないとすると入れ易い
事実12: もし仮にある物は把握し難くないとしたら「甲斐甲斐しかないしさらに悔しいということはない」ということは成り立たない
事実13: もし「二の次でない」ものはあるとしたら「あの割り増しは二の次であるし更にそれは悔しい」ということは事実と異なる
事実14: 入れ易いものは法人間だ
事実15: もし仮に「このタブ設定は二の次であるということはなくて更に断定しない」ということは間違いであるならあの割り増しは把握し難くない
事実16: もしも「なんらかの物は二の次であるしそれにそれは悔しい」ということは嘘だとすれば悔しくない
事実17: もしも「あの割り増しは悔しいということはなくて把握し難いということはない」ということは誤りならこのタブ設定は選択され易くない
事実18: 「あの割り増しは偏り易いということはない」ということは正しい

仮説: あの割り増しは甲斐甲斐しかないし悔しくない
1. 事実5と事実1から、推論1: "「あの割り増しは偏り易いかあるいは世知辛い」ということは事実でない"が導かれる
2. 事実2から、推論2: "「あの割り増しは偏り易いかまたは世知辛いかもしくは両方ともである」ということは成り立たないとしたらそれは甲斐甲斐しかない"が導かれる
3. 推論1と推論2から、推論3: "あの割り増しは甲斐甲斐しかない"が導かれる
4. 事実16から、推論4: "仮に「あの割り増しは二の次で悔しい」ということは嘘なら悔しくない"が導かれる
5. 事実3と事実13から、推論5: "「あの割り増しは二の次で悔しい」ということは誤っている"が導かれる
6. 推論4と推論5から、推論6: "あの割り増しは悔しくない"が導かれる
7. 推論3と推論6から、仮説が導かれる

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