この国道一号沿いは腐植でないしさらに脱色しない
fact1: もし仮に「この止血凝固検査は腐植である」ということは確かであるなら「この国道一号沿いは腐植でなくて脱色するということはない」ということは間違いだ fact2: 「「この国道一号沿いは腐植であるけどそれは脱色しない」ということは事実と異なる」ということは誤っていない fact3: 扱い難い物は腐植である fact4: もしもこの止血凝固検査は腐植だとすれば「この国道一号沿いは腐植だ一方で脱色しない」ということは成り立たない fact5: この止血凝固検査は幻惑するし更にそれは扱い難い fact6: この止血凝固検査は幻惑する fact7: 仮にこの国道一号沿いは扱い難いとすれば「この止血凝固検査は扱い難くないし更にそれは腐植でない」ということは事実と異なる
fact5 -> int1: この止血凝固検査は扱い難い; fact3 -> int2: 仮にこの止血凝固検査が扱い難いとすると腐植だ; int1 & int2 -> int3: 「この止血凝固検査は腐植である」ということは本当である; int3 & fact1 -> hypothesis;
$facts$ = fact1: もし仮に「この止血凝固検査は腐植である」ということは確かであるなら「この国道一号沿いは腐植でなくて脱色するということはない」ということは間違いだ fact2: 「「この国道一号沿いは腐植であるけどそれは脱色しない」ということは事実と異なる」ということは誤っていない fact3: 扱い難い物は腐植である fact4: もしもこの止血凝固検査は腐植だとすれば「この国道一号沿いは腐植だ一方で脱色しない」ということは成り立たない fact5: この止血凝固検査は幻惑するし更にそれは扱い難い fact6: この止血凝固検査は幻惑する fact7: 仮にこの国道一号沿いは扱い難いとすれば「この止血凝固検査は扱い難くないし更にそれは腐植でない」ということは事実と異なる ; $hypothesis$ = この国道一号沿いは腐植でないしさらに脱色しない ; $proof$ = 
fact5 -> int1: この止血凝固検査は扱い難い; fact3 -> int2: 仮にこの止血凝固検査が扱い難いとすると腐植だ; int1 & int2 -> int3: 「この止血凝固検査は腐植である」ということは本当である; int3 & fact1 -> hypothesis; __DISPROVED__
事実1: もし仮に「この止血凝固検査は腐植である」ということは確かであるなら「この国道一号沿いは腐植でなくて脱色するということはない」ということは間違いだ
事実2: 「「この国道一号沿いは腐植であるけどそれは脱色しない」ということは事実と異なる」ということは誤っていない
事実3: 扱い難い物は腐植である
事実4: もしもこの止血凝固検査は腐植だとすれば「この国道一号沿いは腐植だ一方で脱色しない」ということは成り立たない
事実5: この止血凝固検査は幻惑するし更にそれは扱い難い
事実6: この止血凝固検査は幻惑する
事実7: 仮にこの国道一号沿いは扱い難いとすれば「この止血凝固検査は扱い難くないし更にそれは腐植でない」ということは事実と異なる

仮説: この国道一号沿いは腐植でないしさらに脱色しない
1. 事実5から、推論1: "この止血凝固検査は扱い難い"が導かれる
2. 事実3から、推論2: "仮にこの止血凝固検査が扱い難いとすると腐植だ"が導かれる
3. 推論1と推論2から、推論3: "「この止血凝固検査は腐植である」ということは本当である"が導かれる
4. 推論3と事実1から、仮説が否定される

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