この一点鐘は長くないかそれは施行日前であるということはない
fact1: 何らかのものが追い続けないし分配金でないとするとこの一点鐘は長くない fact2: ある物は追い続けないし加えてそれは分配金でない fact3: もし仮に「この一点鐘は追い続けるし加えて長い」ということは成り立たないならあの鳶職は長くない fact4: なにがしかの物は分配金でない
fact2 & fact1 -> int1: この一点鐘は長くない; int1 -> hypothesis;
fact2 & fact1 -> int1: ¬{C}{a}; int1 -> hypothesis;
あの鳶職は長くない
$facts$ = fact1: 何らかのものが追い続けないし分配金でないとするとこの一点鐘は長くない fact2: ある物は追い続けないし加えてそれは分配金でない fact3: もし仮に「この一点鐘は追い続けるし加えて長い」ということは成り立たないならあの鳶職は長くない fact4: なにがしかの物は分配金でない ; $hypothesis$ = この一点鐘は長くないかそれは施行日前であるということはない ; $proof$ = 
fact2 & fact1 -> int1: この一点鐘は長くない; int1 -> hypothesis; __PROVED__
事実1: 何らかのものが追い続けないし分配金でないとするとこの一点鐘は長くない
事実2: ある物は追い続けないし加えてそれは分配金でない
事実3: もし仮に「この一点鐘は追い続けるし加えて長い」ということは成り立たないならあの鳶職は長くない
事実4: なにがしかの物は分配金でない

仮説: この一点鐘は長くないかそれは施行日前であるということはない
1. 事実2と事実1から、推論1: "この一点鐘は長くない"が導かれる
2. 推論1から、仮説が導かれる

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