「その文化相対主義は引き摺り込むが不同意でない」ということは成り立つということはない
fact1: この艦隊決戦は罪深い fact2: 仮にあるものは御安くないなら「それが御答えするしその上罪深くない」ということは間違いである fact3: もし仮にこのビット列は常人離れするとすれば「その将来キャッシュ・インフローは忍耐しないかもしくはそれは常人離れする」ということは間違っている fact4: このビット列は御安くない fact5: もしも何かは御安くないとすれば「それは不同意であるし御答えするということはない」ということは誤っている fact6: 「この大王世代系譜は御答えしないかあるいはそれは常人離れするか両方ともである」ということは真実であるということはない fact7: とあるものがつべたいとするとそれは常人離れする fact8: 仮に何かは御答えしないなら「引き摺り込むがしかし不同意でない」ということは偽である fact9: 「この大王世代系譜は罪深いがしかし不同意でない」ということは間違いである fact10: もしも「この大王世代系譜は御答えするが罪深くない」ということは成り立たないとするとこのビット列はつべたい fact11: もし仮になにかは引き摺り込まないならば「それは不同意であるしかつ常人離れする」ということは間違っている fact12: 何らかの物が御答えしないなら御安くて十二棘突起である fact13: この大王世代系譜は十二棘突起であるけれど御安くない fact14: 仮にこのビット列は忍耐しないなら「常人離れするけど御答えしない」ということは誤っている fact15: もし「その将来キャッシュ・インフローは忍耐しないかあるいは常人離れするかまたは両方だ」ということは誤っているとすればあの艦隊決戦は不同意だということはない fact16: この大王世代系譜が常人離れすればその将来キャッシュ・インフローは御答えする fact17: 「その文化相対主義は不同意だがつべたいということはない」ということは誤っている fact18: 「この大王世代系譜は十二棘突起であるがしかし不同意でない」ということは事実と異なる fact19: この艦隊決戦は御安い fact20: この大王世代系譜は忍耐する fact21: 仮にこの艦隊決戦は不同意でないとすると「その文化相対主義は引き摺り込むけれど不同意でない」ということは誤りである
fact13 -> int1: この大王世代系譜は御安くない; fact2 -> int2: この大王世代系譜は御安くないならば「それは御答えするしそれは罪深くない」ということは成り立つということはない; int1 & int2 -> int3: 「この大王世代系譜は御答えするけれどそれは罪深くない」ということは成り立つということはない; int3 & fact10 -> int4: このビット列はつべたい; fact7 -> int5: もし仮にこのビット列はつべたいとすれば「それは常人離れする」ということは確かだ; int4 & int5 -> int6: このビット列は常人離れする; int6 & fact3 -> int7: 「その将来キャッシュ・インフローは忍耐しないか常人離れするかまたは両方である」ということは間違っている; int7 & fact15 -> int8: この艦隊決戦は不同意でない; int8 & fact21 -> hypothesis;
その文化相対主義は引き摺り込むが不同意でない
fact22 -> int9: 仮にこの大王世代系譜が御答えしないとしたらそれは御安いしそれは十二棘突起である;
$facts$ = fact1: この艦隊決戦は罪深い fact2: 仮にあるものは御安くないなら「それが御答えするしその上罪深くない」ということは間違いである fact3: もし仮にこのビット列は常人離れするとすれば「その将来キャッシュ・インフローは忍耐しないかもしくはそれは常人離れする」ということは間違っている fact4: このビット列は御安くない fact5: もしも何かは御安くないとすれば「それは不同意であるし御答えするということはない」ということは誤っている fact6: 「この大王世代系譜は御答えしないかあるいはそれは常人離れするか両方ともである」ということは真実であるということはない fact7: とあるものがつべたいとするとそれは常人離れする fact8: 仮に何かは御答えしないなら「引き摺り込むがしかし不同意でない」ということは偽である fact9: 「この大王世代系譜は罪深いがしかし不同意でない」ということは間違いである fact10: もしも「この大王世代系譜は御答えするが罪深くない」ということは成り立たないとするとこのビット列はつべたい fact11: もし仮になにかは引き摺り込まないならば「それは不同意であるしかつ常人離れする」ということは間違っている fact12: 何らかの物が御答えしないなら御安くて十二棘突起である fact13: この大王世代系譜は十二棘突起であるけれど御安くない fact14: 仮にこのビット列は忍耐しないなら「常人離れするけど御答えしない」ということは誤っている fact15: もし「その将来キャッシュ・インフローは忍耐しないかあるいは常人離れするかまたは両方だ」ということは誤っているとすればあの艦隊決戦は不同意だということはない fact16: この大王世代系譜が常人離れすればその将来キャッシュ・インフローは御答えする fact17: 「その文化相対主義は不同意だがつべたいということはない」ということは誤っている fact18: 「この大王世代系譜は十二棘突起であるがしかし不同意でない」ということは事実と異なる fact19: この艦隊決戦は御安い fact20: この大王世代系譜は忍耐する fact21: 仮にこの艦隊決戦は不同意でないとすると「その文化相対主義は引き摺り込むけれど不同意でない」ということは誤りである ; $hypothesis$ = 「その文化相対主義は引き摺り込むが不同意でない」ということは成り立つということはない ; $proof$ = 
fact13 -> int1: この大王世代系譜は御安くない; fact2 -> int2: この大王世代系譜は御安くないならば「それは御答えするしそれは罪深くない」ということは成り立つということはない; int1 & int2 -> int3: 「この大王世代系譜は御答えするけれどそれは罪深くない」ということは成り立つということはない; int3 & fact10 -> int4: このビット列はつべたい; fact7 -> int5: もし仮にこのビット列はつべたいとすれば「それは常人離れする」ということは確かだ; int4 & int5 -> int6: このビット列は常人離れする; int6 & fact3 -> int7: 「その将来キャッシュ・インフローは忍耐しないか常人離れするかまたは両方である」ということは間違っている; int7 & fact15 -> int8: この艦隊決戦は不同意でない; int8 & fact21 -> hypothesis; __PROVED__
事実1: この艦隊決戦は罪深い
事実2: 仮にあるものは御安くないなら「それが御答えするしその上罪深くない」ということは間違いである
事実3: もし仮にこのビット列は常人離れするとすれば「その将来キャッシュ・インフローは忍耐しないかもしくはそれは常人離れする」ということは間違っている
事実4: このビット列は御安くない
事実5: もしも何かは御安くないとすれば「それは不同意であるし御答えするということはない」ということは誤っている
事実6: 「この大王世代系譜は御答えしないかあるいはそれは常人離れするか両方ともである」ということは真実であるということはない
事実7: とあるものがつべたいとするとそれは常人離れする
事実8: 仮に何かは御答えしないなら「引き摺り込むがしかし不同意でない」ということは偽である
事実9: 「この大王世代系譜は罪深いがしかし不同意でない」ということは間違いである
事実10: もしも「この大王世代系譜は御答えするが罪深くない」ということは成り立たないとするとこのビット列はつべたい
事実11: もし仮になにかは引き摺り込まないならば「それは不同意であるしかつ常人離れする」ということは間違っている
事実12: 何らかの物が御答えしないなら御安くて十二棘突起である
事実13: この大王世代系譜は十二棘突起であるけれど御安くない
事実14: 仮にこのビット列は忍耐しないなら「常人離れするけど御答えしない」ということは誤っている
事実15: もし「その将来キャッシュ・インフローは忍耐しないかあるいは常人離れするかまたは両方だ」ということは誤っているとすればあの艦隊決戦は不同意だということはない
事実16: この大王世代系譜が常人離れすればその将来キャッシュ・インフローは御答えする
事実17: 「その文化相対主義は不同意だがつべたいということはない」ということは誤っている
事実18: 「この大王世代系譜は十二棘突起であるがしかし不同意でない」ということは事実と異なる
事実19: この艦隊決戦は御安い
事実20: この大王世代系譜は忍耐する
事実21: 仮にこの艦隊決戦は不同意でないとすると「その文化相対主義は引き摺り込むけれど不同意でない」ということは誤りである

仮説: 「その文化相対主義は引き摺り込むが不同意でない」ということは成り立つということはない
1. 事実13から、推論1: "この大王世代系譜は御安くない"が導かれる
2. 事実2から、推論2: "この大王世代系譜は御安くないならば「それは御答えするしそれは罪深くない」ということは成り立つということはない"が導かれる
3. 推論1と推論2から、推論3: "「この大王世代系譜は御答えするけれどそれは罪深くない」ということは成り立つということはない"が導かれる
4. 推論3と事実10から、推論4: "このビット列はつべたい"が導かれる
5. 事実7から、推論5: "もし仮にこのビット列はつべたいとすれば「それは常人離れする」ということは確かだ"が導かれる
6. 推論4と推論5から、推論6: "このビット列は常人離れする"が導かれる
7. 推論6と事実3から、推論7: "「その将来キャッシュ・インフローは忍耐しないか常人離れするかまたは両方である」ということは間違っている"が導かれる
8. 推論7と事実15から、推論8: "この艦隊決戦は不同意でない"が導かれる
9. 推論8と事実21から、仮説が導かれる

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