「この休憩中は回し続けるとしたら「「あの競走馬は理解し始めない一方で秘密めく」ということは事実と異ならない」ということは成り立たない」ということは誤りである
fact1: なんらかの物は秘密めく fact2: 「あの競走馬は理解し始めない」ということは成り立つ fact3: 何らかのものは理解し始めるしおまけに秘密めく fact4: 仮にこの休憩中は回し続けるなら「あの競走馬は理解し始めるし更に秘密めく」ということは成り立たない fact5: もし仮にこの休憩中は理解し始めないとすると「「あの御休み前は回し続けないけど御詫び致す」ということは誤りだ」ということは事実である fact6: この休憩中は理解し始めるとすると「あの競走馬は秘密めくということはないが回し続ける」ということは成り立たない fact7: もし仮に「理解し始めないがしかし秘密めく」ものがあればこの休憩中は回し続けない fact8: 「理解し始めない」ものはある
void -> assump2: 以下のように仮定する。あの競走馬は理解し始めるということはないがそれは秘密めく; assump2 -> int1: 「理解し始めるということはないけど秘密めく」物はある; int1 & fact7 -> int2: この休憩中は回し続けない; void -> assump1: 以下のように仮定する。この休憩中は回し続ける; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: 「あの競走馬は理解し始めるということはないけど秘密めく」ということは事実でない; [assump1] & int4 -> hypothesis;
「あの御休み前は回し続けないけれどそれは御詫び致す」ということは成り立つということはない
$facts$ = fact1: なんらかの物は秘密めく fact2: 「あの競走馬は理解し始めない」ということは成り立つ fact3: 何らかのものは理解し始めるしおまけに秘密めく fact4: 仮にこの休憩中は回し続けるなら「あの競走馬は理解し始めるし更に秘密めく」ということは成り立たない fact5: もし仮にこの休憩中は理解し始めないとすると「「あの御休み前は回し続けないけど御詫び致す」ということは誤りだ」ということは事実である fact6: この休憩中は理解し始めるとすると「あの競走馬は秘密めくということはないが回し続ける」ということは成り立たない fact7: もし仮に「理解し始めないがしかし秘密めく」ものがあればこの休憩中は回し続けない fact8: 「理解し始めない」ものはある ; $hypothesis$ = 「この休憩中は回し続けるとしたら「「あの競走馬は理解し始めない一方で秘密めく」ということは事実と異ならない」ということは成り立たない」ということは誤りである ; $proof$ = 
void -> assump2: 以下のように仮定する。あの競走馬は理解し始めるということはないがそれは秘密めく; assump2 -> int1: 「理解し始めるということはないけど秘密めく」物はある; int1 & fact7 -> int2: この休憩中は回し続けない; void -> assump1: 以下のように仮定する。この休憩中は回し続ける; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: 「あの競走馬は理解し始めるということはないけど秘密めく」ということは事実でない; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: なんらかの物は秘密めく
事実2: 「あの競走馬は理解し始めない」ということは成り立つ
事実3: 何らかのものは理解し始めるしおまけに秘密めく
事実4: 仮にこの休憩中は回し続けるなら「あの競走馬は理解し始めるし更に秘密めく」ということは成り立たない
事実5: もし仮にこの休憩中は理解し始めないとすると「「あの御休み前は回し続けないけど御詫び致す」ということは誤りだ」ということは事実である
事実6: この休憩中は理解し始めるとすると「あの競走馬は秘密めくということはないが回し続ける」ということは成り立たない
事実7: もし仮に「理解し始めないがしかし秘密めく」ものがあればこの休憩中は回し続けない
事実8: 「理解し始めない」ものはある

仮説: 「この休憩中は回し続けるとしたら「「あの競走馬は理解し始めない一方で秘密めく」ということは事実と異ならない」ということは成り立たない」ということは誤りである
1. 仮定2: 以下のように仮定する。あの競走馬は理解し始めるということはないがそれは秘密めく
2. 仮定2から、推論1: "「理解し始めるということはないけど秘密めく」物はある"が導かれる
3. 推論1と事実7から、推論2: "この休憩中は回し続けない"が導かれる
4. 仮定1: 以下のように仮定する。この休憩中は回し続ける
5. 推論2と仮定1から、推論3: "これは矛盾である"が導かれる
6. [仮定2]と推論3から、推論4: "「あの競走馬は理解し始めるということはないけど秘密めく」ということは事実でない"が導かれる
7. [仮定1]と推論4から、仮説が否定される

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