この破線部分は踏み止まれるということはない
fact1: 「この随所は接見である」ということは成り立つとするとこの原料不足は起こり難い fact2: もし「この原料不足は接見である」ということは正しいとしたらこの破線部分は踏み止まれないがしかしそれは斬殺する fact3: 仮にこの原料不足が起こり難いとするとそのＰＤＰＣ法は間断無い fact4: 仮にこの随所は斬殺するとすれば「この原料不足は起こり難い」ということは事実である fact5: もしもこの原料不足が間断無い一方で接見でないとすればこの随所は斬殺する fact6: もしそのＰＤＰＣ法が間断無いとするとこの破線部分は踏み止まれる fact7: もしもあるものが踏み止まれるとしたら間断無いけど接見でない fact8: 全ての物は斬殺するかあるいはそれは接見であるかまたは両方ともだ fact9: もしもある物が斬殺するとしたら起こり難い
fact8 -> int1: この随所は斬殺するか接見だ; int1 & fact4 & fact1 -> int2: この原料不足は起こり難い; int2 & fact3 -> int3: そのＰＤＰＣ法は間断無い; int3 & fact6 -> hypothesis;
この破線部分は踏み止まれない
$facts$ = fact1: 「この随所は接見である」ということは成り立つとするとこの原料不足は起こり難い fact2: もし「この原料不足は接見である」ということは正しいとしたらこの破線部分は踏み止まれないがしかしそれは斬殺する fact3: 仮にこの原料不足が起こり難いとするとそのＰＤＰＣ法は間断無い fact4: 仮にこの随所は斬殺するとすれば「この原料不足は起こり難い」ということは事実である fact5: もしもこの原料不足が間断無い一方で接見でないとすればこの随所は斬殺する fact6: もしそのＰＤＰＣ法が間断無いとするとこの破線部分は踏み止まれる fact7: もしもあるものが踏み止まれるとしたら間断無いけど接見でない fact8: 全ての物は斬殺するかあるいはそれは接見であるかまたは両方ともだ fact9: もしもある物が斬殺するとしたら起こり難い ; $hypothesis$ = この破線部分は踏み止まれるということはない ; $proof$ = 
fact8 -> int1: この随所は斬殺するか接見だ; int1 & fact4 & fact1 -> int2: この原料不足は起こり難い; int2 & fact3 -> int3: そのＰＤＰＣ法は間断無い; int3 & fact6 -> hypothesis; __DISPROVED__
事実1: 「この随所は接見である」ということは成り立つとするとこの原料不足は起こり難い
事実2: もし「この原料不足は接見である」ということは正しいとしたらこの破線部分は踏み止まれないがしかしそれは斬殺する
事実3: 仮にこの原料不足が起こり難いとするとそのＰＤＰＣ法は間断無い
事実4: 仮にこの随所は斬殺するとすれば「この原料不足は起こり難い」ということは事実である
事実5: もしもこの原料不足が間断無い一方で接見でないとすればこの随所は斬殺する
事実6: もしそのＰＤＰＣ法が間断無いとするとこの破線部分は踏み止まれる
事実7: もしもあるものが踏み止まれるとしたら間断無いけど接見でない
事実8: 全ての物は斬殺するかあるいはそれは接見であるかまたは両方ともだ
事実9: もしもある物が斬殺するとしたら起こり難い

仮説: この破線部分は踏み止まれるということはない
1. 事実8から、推論1: "この随所は斬殺するか接見だ"が導かれる
2. 推論1と事実4と事実1から、推論2: "この原料不足は起こり難い"が導かれる
3. 推論2と事実3から、推論3: "そのＰＤＰＣ法は間断無い"が導かれる
4. 推論3と事実6から、仮説が否定される

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