「あの協働は甘ーくない」ということは成り立つ
fact1: その今以上は了知する fact2: 「その今以上は甘ーくないかもしくは了知しないかまたはどちらもである」ということは成り立たない fact3: その今以上はクライマックスシーンでない fact4: もし仮に「その今以上は了知するかまたは血迷わない」ということは誤りならばあの協働は甘ーいということはない fact5: この統計的分析は毀たない fact6: 仮にその侵入は血迷うなら「その今以上は了知しないか血迷わないかまたは両方だ」ということは間違っている fact7: もしなんらかの物は突き入れるということはないなら「焙烙であるかもしくは了知しないかあるいは両方ともである」ということは成り立たない fact8: 「その今以上は了知しないかまたは血迷わないかもしくはどちらもである」ということは成り立たないならあの協働は甘ーくない fact9: 「その今以上は京都らしくないか権利論でない」ということは間違いだ fact10: 「その侵入は了知しない」ということは成り立つ fact11: 仮に「その今以上は血迷うか毀たない」ということは間違いだとするとその侵入は了知しない fact12: あの協働はフレージングだ fact13: なにかは毀たないならばそれはクライマックスシーンである fact14: その侵入は毀たない fact15: もしその侵入がクライマックスシーンだとしたら血迷う fact16: あの協働は了知しない fact17: もし仮にその侵入は高しとすると「血迷う」ということは正しい fact18: もしとある物が甘ーくないならそれは血迷うしかつ毀つ fact19: その一絡げは甘ーくない fact20: もしその今以上が血迷うとするとあの精度管理はクライマックスシーンである fact21: あの朦朧状態は高し fact22: もしその侵入は血迷うとしたら「その今以上は了知する」ということは真実だ
fact13 -> int1: もしも「その侵入は毀たない」ということは成り立つなら「クライマックスシーンだ」ということは偽でない; int1 & fact14 -> int2: その侵入はクライマックスシーンである; int2 & fact15 -> int3: その侵入は血迷う; int3 & fact6 -> int4: 「その今以上は了知するということはないかそれは血迷わない」ということは偽である; int4 & fact8 -> hypothesis;
あの精度管理はクライマックスシーンだ
fact23 -> int5: もし仮にその今以上が甘ーくないとすれば血迷うしまた毀つ; fact24 -> int6: あの協働は突き入れるということはないならば「「それは焙烙であるかもしくは了知しない」ということは真実だ」ということは成り立たない;
$facts$ = fact1: その今以上は了知する fact2: 「その今以上は甘ーくないかもしくは了知しないかまたはどちらもである」ということは成り立たない fact3: その今以上はクライマックスシーンでない fact4: もし仮に「その今以上は了知するかまたは血迷わない」ということは誤りならばあの協働は甘ーいということはない fact5: この統計的分析は毀たない fact6: 仮にその侵入は血迷うなら「その今以上は了知しないか血迷わないかまたは両方だ」ということは間違っている fact7: もしなんらかの物は突き入れるということはないなら「焙烙であるかもしくは了知しないかあるいは両方ともである」ということは成り立たない fact8: 「その今以上は了知しないかまたは血迷わないかもしくはどちらもである」ということは成り立たないならあの協働は甘ーくない fact9: 「その今以上は京都らしくないか権利論でない」ということは間違いだ fact10: 「その侵入は了知しない」ということは成り立つ fact11: 仮に「その今以上は血迷うか毀たない」ということは間違いだとするとその侵入は了知しない fact12: あの協働はフレージングだ fact13: なにかは毀たないならばそれはクライマックスシーンである fact14: その侵入は毀たない fact15: もしその侵入がクライマックスシーンだとしたら血迷う fact16: あの協働は了知しない fact17: もし仮にその侵入は高しとすると「血迷う」ということは正しい fact18: もしとある物が甘ーくないならそれは血迷うしかつ毀つ fact19: その一絡げは甘ーくない fact20: もしその今以上が血迷うとするとあの精度管理はクライマックスシーンである fact21: あの朦朧状態は高し fact22: もしその侵入は血迷うとしたら「その今以上は了知する」ということは真実だ ; $hypothesis$ = 「あの協働は甘ーくない」ということは成り立つ ; $proof$ = 
fact13 -> int1: もしも「その侵入は毀たない」ということは成り立つなら「クライマックスシーンだ」ということは偽でない; int1 & fact14 -> int2: その侵入はクライマックスシーンである; int2 & fact15 -> int3: その侵入は血迷う; int3 & fact6 -> int4: 「その今以上は了知するということはないかそれは血迷わない」ということは偽である; int4 & fact8 -> hypothesis; __PROVED__
事実1: その今以上は了知する
事実2: 「その今以上は甘ーくないかもしくは了知しないかまたはどちらもである」ということは成り立たない
事実3: その今以上はクライマックスシーンでない
事実4: もし仮に「その今以上は了知するかまたは血迷わない」ということは誤りならばあの協働は甘ーいということはない
事実5: この統計的分析は毀たない
事実6: 仮にその侵入は血迷うなら「その今以上は了知しないか血迷わないかまたは両方だ」ということは間違っている
事実7: もしなんらかの物は突き入れるということはないなら「焙烙であるかもしくは了知しないかあるいは両方ともである」ということは成り立たない
事実8: 「その今以上は了知しないかまたは血迷わないかもしくはどちらもである」ということは成り立たないならあの協働は甘ーくない
事実9: 「その今以上は京都らしくないか権利論でない」ということは間違いだ
事実10: 「その侵入は了知しない」ということは成り立つ
事実11: 仮に「その今以上は血迷うか毀たない」ということは間違いだとするとその侵入は了知しない
事実12: あの協働はフレージングだ
事実13: なにかは毀たないならばそれはクライマックスシーンである
事実14: その侵入は毀たない
事実15: もしその侵入がクライマックスシーンだとしたら血迷う
事実16: あの協働は了知しない
事実17: もし仮にその侵入は高しとすると「血迷う」ということは正しい
事実18: もしとある物が甘ーくないならそれは血迷うしかつ毀つ
事実19: その一絡げは甘ーくない
事実20: もしその今以上が血迷うとするとあの精度管理はクライマックスシーンである
事実21: あの朦朧状態は高し
事実22: もしその侵入は血迷うとしたら「その今以上は了知する」ということは真実だ

仮説: 「あの協働は甘ーくない」ということは成り立つ
1. 事実13から、推論1: "もしも「その侵入は毀たない」ということは成り立つなら「クライマックスシーンだ」ということは偽でない"が導かれる
2. 推論1と事実14から、推論2: "その侵入はクライマックスシーンである"が導かれる
3. 推論2と事実15から、推論3: "その侵入は血迷う"が導かれる
4. 推論3と事実6から、推論4: "「その今以上は了知するということはないかそれは血迷わない」ということは偽である"が導かれる
5. 推論4と事実8から、仮説が導かれる

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