その片刃は脈である
fact1: この閉塞はサロン化しない fact2: その常陸国はサロン化しない fact3: その常陸国はサロン化しないならば「その片刃は脈でないがそれは柔い」ということは本当である fact4: あの超自然はサロン化しない
fact3 & fact2 -> int1: その片刃は脈でないけれど柔い; int1 -> hypothesis;
$facts$ = fact1: この閉塞はサロン化しない fact2: その常陸国はサロン化しない fact3: その常陸国はサロン化しないならば「その片刃は脈でないがそれは柔い」ということは本当である fact4: あの超自然はサロン化しない ; $hypothesis$ = その片刃は脈である ; $proof$ = 
fact3 & fact2 -> int1: その片刃は脈でないけれど柔い; int1 -> hypothesis; __DISPROVED__
事実1: この閉塞はサロン化しない
事実2: その常陸国はサロン化しない
事実3: その常陸国はサロン化しないならば「その片刃は脈でないがそれは柔い」ということは本当である
事実4: あの超自然はサロン化しない

仮説: その片刃は脈である
1. 事実3と事実2から、推論1: "その片刃は脈でないけれど柔い"が導かれる
2. 推論1から、仮説が否定される

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