この終わり値は止む無くない
fact1: あの時間外労働手当ては収縮早期だ fact2: 仮にあの時間外労働手当てが研究蓄積でないならばあの極楽蜻蛉は止む無し fact3: あの時間外労働手当てが研究蓄積であるとしたらこのダークネスが研究蓄積だけどそれは飛び続けるということはない fact4: 仮に何かは収縮早期でないなら止む無くないが研究蓄積だ fact5: あの時間外労働手当ては研究蓄積だし更に収縮早期である fact6: あの時間外労働手当てが研究蓄積ならばこのダークネスは飛び続けない fact7: もしも何かは収縮早期でないとしたら研究蓄積だということはないかあるいは飛び続けない fact8: このダークネスは飛び続けない fact9: もし仮にこのダークネスが研究蓄積であるけれど飛び続けないとすればあの終わり値は止む無し fact10: 仮にこのダークネスが研究蓄積であるし飛び続けるとすればあの終わり値は止む無し
fact5 -> int1: あの時間外労働手当ては研究蓄積である; int1 & fact3 -> int2: このダークネスは研究蓄積だ一方で飛び続けない; int2 & fact9 -> hypothesis;
この終わり値は止む無くない
fact11 -> int3: 仮にこの終わり値が収縮早期でないなら止む無くないししかもそれは研究蓄積である;
$facts$ = fact1: あの時間外労働手当ては収縮早期だ fact2: 仮にあの時間外労働手当てが研究蓄積でないならばあの極楽蜻蛉は止む無し fact3: あの時間外労働手当てが研究蓄積であるとしたらこのダークネスが研究蓄積だけどそれは飛び続けるということはない fact4: 仮に何かは収縮早期でないなら止む無くないが研究蓄積だ fact5: あの時間外労働手当ては研究蓄積だし更に収縮早期である fact6: あの時間外労働手当てが研究蓄積ならばこのダークネスは飛び続けない fact7: もしも何かは収縮早期でないとしたら研究蓄積だということはないかあるいは飛び続けない fact8: このダークネスは飛び続けない fact9: もし仮にこのダークネスが研究蓄積であるけれど飛び続けないとすればあの終わり値は止む無し fact10: 仮にこのダークネスが研究蓄積であるし飛び続けるとすればあの終わり値は止む無し ; $hypothesis$ = この終わり値は止む無くない ; $proof$ = 
fact5 -> int1: あの時間外労働手当ては研究蓄積である; int1 & fact3 -> int2: このダークネスは研究蓄積だ一方で飛び続けない; int2 & fact9 -> hypothesis; __DISPROVED__
事実1: あの時間外労働手当ては収縮早期だ
事実2: 仮にあの時間外労働手当てが研究蓄積でないならばあの極楽蜻蛉は止む無し
事実3: あの時間外労働手当てが研究蓄積であるとしたらこのダークネスが研究蓄積だけどそれは飛び続けるということはない
事実4: 仮に何かは収縮早期でないなら止む無くないが研究蓄積だ
事実5: あの時間外労働手当ては研究蓄積だし更に収縮早期である
事実6: あの時間外労働手当てが研究蓄積ならばこのダークネスは飛び続けない
事実7: もしも何かは収縮早期でないとしたら研究蓄積だということはないかあるいは飛び続けない
事実8: このダークネスは飛び続けない
事実9: もし仮にこのダークネスが研究蓄積であるけれど飛び続けないとすればあの終わり値は止む無し
事実10: 仮にこのダークネスが研究蓄積であるし飛び続けるとすればあの終わり値は止む無し

仮説: この終わり値は止む無くない
1. 事実5から、推論1: "あの時間外労働手当ては研究蓄積である"が導かれる
2. 推論1と事実3から、推論2: "このダークネスは研究蓄積だ一方で飛び続けない"が導かれる
3. 推論2と事実9から、仮説が否定される

よって、仮説が否定されました。