もしあのルート権限が指定暴力団ならあの善・悪は遣り難いがしかしまびかない
fact1: あの欠損部はまびく fact2: 「あのルート権限は指定暴力団だ」ということは本当ならばあの善・悪は明示出来る fact3: あの善・悪は遣り難いしそれにまびく fact4: もし仮になんらかのものはまびかないなら「指定暴力団でないけど明示出来る」ということは間違っている fact5: 仮にあるものが明示出来るとすれば遣り難いしそれはまびかない fact6: 「とある物は指定暴力団でない一方で明示出来る」ということは誤っているとすると遣り難い fact7: もし仮にあの善・悪が明示出来るならそれは遣り難い fact8: 仮に何かは明示出来るならそれは遣り難いしおまけにそれはまびく
void -> assump1: 以下のように仮定する。あのルート権限は指定暴力団だ; fact2 & assump1 -> int1: あの善・悪は明示出来る; fact5 -> int2: もしあの善・悪が明示出来るとするとそれは遣り難いけどまびかない; int1 & int2 -> int3: 「あの善・悪は遣り難い一方でまびかない」ということは本当である; [assump1] & int3 -> hypothesis;
この時計職人は遣り難い
fact10 -> int4: もしも「この時計職人は指定暴力団でないけどそれは明示出来る」ということは偽だとすると遣り難い; fact9 -> int5: 「この時計職人はまびくということはない」ということは成り立つとすると「指定暴力団でない一方で明示出来る」ということは嘘である;
$facts$ = fact1: あの欠損部はまびく fact2: 「あのルート権限は指定暴力団だ」ということは本当ならばあの善・悪は明示出来る fact3: あの善・悪は遣り難いしそれにまびく fact4: もし仮になんらかのものはまびかないなら「指定暴力団でないけど明示出来る」ということは間違っている fact5: 仮にあるものが明示出来るとすれば遣り難いしそれはまびかない fact6: 「とある物は指定暴力団でない一方で明示出来る」ということは誤っているとすると遣り難い fact7: もし仮にあの善・悪が明示出来るならそれは遣り難い fact8: 仮に何かは明示出来るならそれは遣り難いしおまけにそれはまびく ; $hypothesis$ = もしあのルート権限が指定暴力団ならあの善・悪は遣り難いがしかしまびかない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのルート権限は指定暴力団だ; fact2 & assump1 -> int1: あの善・悪は明示出来る; fact5 -> int2: もしあの善・悪が明示出来るとするとそれは遣り難いけどまびかない; int1 & int2 -> int3: 「あの善・悪は遣り難い一方でまびかない」ということは本当である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: あの欠損部はまびく
事実2: 「あのルート権限は指定暴力団だ」ということは本当ならばあの善・悪は明示出来る
事実3: あの善・悪は遣り難いしそれにまびく
事実4: もし仮になんらかのものはまびかないなら「指定暴力団でないけど明示出来る」ということは間違っている
事実5: 仮にあるものが明示出来るとすれば遣り難いしそれはまびかない
事実6: 「とある物は指定暴力団でない一方で明示出来る」ということは誤っているとすると遣り難い
事実7: もし仮にあの善・悪が明示出来るならそれは遣り難い
事実8: 仮に何かは明示出来るならそれは遣り難いしおまけにそれはまびく

仮説: もしあのルート権限が指定暴力団ならあの善・悪は遣り難いがしかしまびかない
1. 仮定1: 以下のように仮定する。あのルート権限は指定暴力団だ
2. 事実2と仮定1から、推論1: "あの善・悪は明示出来る"が導かれる
3. 事実5から、推論2: "もしあの善・悪が明示出来るとするとそれは遣り難いけどまびかない"が導かれる
4. 推論1と推論2から、推論3: "「あの善・悪は遣り難い一方でまびかない」ということは本当である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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