「その御高は厘半だ」ということは真実だ
fact1: その分割基準は厘半でなくて通り始めない fact2: もしもなにがしかの物が妥当性等でないとすれば鈍くないし更にそれは必達であるということはない fact3: もしその御高が呪詛するということはないし加えて必達でないとするとこの兄ちゃんは鈍くない fact4: この兄ちゃんは妥当性等でない一方でそれは呪詛する fact5: もし仮に「この兄ちゃんは鈍くないし必達でない」ということは偽であるということはないならばその御高は厘半でない
fact4 -> int1: この兄ちゃんは妥当性等でない; fact2 -> int2: もしもこの兄ちゃんは妥当性等でないとすると鈍くないし更に必達でない; int1 & int2 -> int3: この兄ちゃんは鈍くなくて必達だということはない; int3 & fact5 -> hypothesis;
fact4 -> int1: ¬{A}{a}; fact2 -> int2: ¬{A}{a} -> (¬{C}{a} & ¬{D}{a}); int1 & int2 -> int3: (¬{C}{a} & ¬{D}{a}); int3 & fact5 -> hypothesis;
$facts$ = fact1: その分割基準は厘半でなくて通り始めない fact2: もしもなにがしかの物が妥当性等でないとすれば鈍くないし更にそれは必達であるということはない fact3: もしその御高が呪詛するということはないし加えて必達でないとするとこの兄ちゃんは鈍くない fact4: この兄ちゃんは妥当性等でない一方でそれは呪詛する fact5: もし仮に「この兄ちゃんは鈍くないし必達でない」ということは偽であるということはないならばその御高は厘半でない ; $hypothesis$ = 「その御高は厘半だ」ということは真実だ ; $proof$ = 
fact4 -> int1: この兄ちゃんは妥当性等でない; fact2 -> int2: もしもこの兄ちゃんは妥当性等でないとすると鈍くないし更に必達でない; int1 & int2 -> int3: この兄ちゃんは鈍くなくて必達だということはない; int3 & fact5 -> hypothesis; __DISPROVED__
事実1: その分割基準は厘半でなくて通り始めない
事実2: もしもなにがしかの物が妥当性等でないとすれば鈍くないし更にそれは必達であるということはない
事実3: もしその御高が呪詛するということはないし加えて必達でないとするとこの兄ちゃんは鈍くない
事実4: この兄ちゃんは妥当性等でない一方でそれは呪詛する
事実5: もし仮に「この兄ちゃんは鈍くないし必達でない」ということは偽であるということはないならばその御高は厘半でない

仮説: 「その御高は厘半だ」ということは真実だ
1. 事実4から、推論1: "この兄ちゃんは妥当性等でない"が導かれる
2. 事実2から、推論2: "もしもこの兄ちゃんは妥当性等でないとすると鈍くないし更に必達でない"が導かれる
3. 推論1と推論2から、推論3: "この兄ちゃんは鈍くなくて必達だということはない"が導かれる
4. 推論3と事実5から、仮説が否定される

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