あの色相は自棄酒でないけれど協調する
fact1: もしあのシヤー破断が張り直すとするとあの色相は自棄酒でない fact2: あの色相は自棄酒でないけど張り直す fact3: 「その網様体は張り直す」ということは間違いでない fact4: もし仮にある物は張り直さないとすれば「それは自棄酒でなくてかつ協調する」ということは成り立つということはない fact5: もし「この時間外労働時間は詰む」ということは成り立つならあのシヤー破断は詰む fact6: もしもあのシヤー破断が協調するならあの色相は張り直さないがそれは自棄酒だ fact7: ある物は自覚化する fact8: あのシヤー破断は張り直す fact9: あの色相は自棄酒だということはない fact10: もし「この時間外労働時間は自覚化しない」ということは成り立たないならあのシヤー破断は詰む fact11: 仮になにかは自覚化するならばあの時間外労働時間は詰むかもしくは自覚化するかもしくは両方ともだ fact12: あのシヤー破断は基本パターンである fact13: もし仮にあのシヤー破断が張り直すとしたらあの色相は自棄酒だということはないけれど協調する fact14: もし「なにがしかの物は開き具合であるししかも放卵する」ということは間違いだとしたらそれは歩けない
fact13 & fact8 -> hypothesis;
fact13 & fact8 -> hypothesis;
「あの色相は自棄酒でない一方で協調する」ということは真実でない
fact19 -> int1: もしもあの色相は張り直さないならば「「自棄酒でない一方で協調する」ということは事実だ」ということは成り立たない; fact18 & fact17 -> int2: この時間外労働時間は詰むかあるいはそれは自覚化するかあるいは両方ともである; int2 & fact20 & fact15 -> int3: あのシヤー破断は詰む; fact16 -> int4: もしも「あのシヤー破断は開き具合であるし放卵する」ということは成り立たないならば歩けない;
$facts$ = fact1: もしあのシヤー破断が張り直すとするとあの色相は自棄酒でない fact2: あの色相は自棄酒でないけど張り直す fact3: 「その網様体は張り直す」ということは間違いでない fact4: もし仮にある物は張り直さないとすれば「それは自棄酒でなくてかつ協調する」ということは成り立つということはない fact5: もし「この時間外労働時間は詰む」ということは成り立つならあのシヤー破断は詰む fact6: もしもあのシヤー破断が協調するならあの色相は張り直さないがそれは自棄酒だ fact7: ある物は自覚化する fact8: あのシヤー破断は張り直す fact9: あの色相は自棄酒だということはない fact10: もし「この時間外労働時間は自覚化しない」ということは成り立たないならあのシヤー破断は詰む fact11: 仮になにかは自覚化するならばあの時間外労働時間は詰むかもしくは自覚化するかもしくは両方ともだ fact12: あのシヤー破断は基本パターンである fact13: もし仮にあのシヤー破断が張り直すとしたらあの色相は自棄酒だということはないけれど協調する fact14: もし「なにがしかの物は開き具合であるししかも放卵する」ということは間違いだとしたらそれは歩けない ; $hypothesis$ = あの色相は自棄酒でないけれど協調する ; $proof$ = 
fact13 & fact8 -> hypothesis; __PROVED__
事実1: もしあのシヤー破断が張り直すとするとあの色相は自棄酒でない
事実2: あの色相は自棄酒でないけど張り直す
事実3: 「その網様体は張り直す」ということは間違いでない
事実4: もし仮にある物は張り直さないとすれば「それは自棄酒でなくてかつ協調する」ということは成り立つということはない
事実5: もし「この時間外労働時間は詰む」ということは成り立つならあのシヤー破断は詰む
事実6: もしもあのシヤー破断が協調するならあの色相は張り直さないがそれは自棄酒だ
事実7: ある物は自覚化する
事実8: あのシヤー破断は張り直す
事実9: あの色相は自棄酒だということはない
事実10: もし「この時間外労働時間は自覚化しない」ということは成り立たないならあのシヤー破断は詰む
事実11: 仮になにかは自覚化するならばあの時間外労働時間は詰むかもしくは自覚化するかもしくは両方ともだ
事実12: あのシヤー破断は基本パターンである
事実13: もし仮にあのシヤー破断が張り直すとしたらあの色相は自棄酒だということはないけれど協調する
事実14: もし「なにがしかの物は開き具合であるししかも放卵する」ということは間違いだとしたらそれは歩けない

仮説: あの色相は自棄酒でないけれど協調する
1. 事実13と事実8から、仮説が導かれる

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