「この打ち傷は黒い」ということは誤っているということはない
fact1: あの介護問題は握り易い fact2: もし「「目標実現であるけれど牛埋葬坑でない」ということは間違いな」ものがあるならばあの打ち傷は黒くない fact3: この打ち傷が惚けないならばそれは黒いし錆びる fact4: もしもとある物は握り易くないなら「それは座り易いしこじつけない」ということは間違いだ fact5: もしも「握り易くない」物があればあの介護問題は牛埋葬坑でない fact6: 何かは目標実現だがしかし牛埋葬坑でない fact7: もし仮にあの介護問題は握り易いとすれば「それは目標実現であるがしかし牛埋葬坑でない」ということは嘘だ
fact7 & fact1 -> int1: 「あの介護問題は目標実現であるがしかし牛埋葬坑だということはない」ということは間違いだ; int1 -> int2: 「「目標実現であるがしかし牛埋葬坑でない」ということは間違っている」ものはある; int2 & fact2 -> hypothesis;
「「座り易くてかつこじつけない」ということは偽な」ものはある
fact8 -> int3: 仮にあの介護問題は握り易くないとすると「それは座り易いけどこじつけない」ということは本当でない;
$facts$ = fact1: あの介護問題は握り易い fact2: もし「「目標実現であるけれど牛埋葬坑でない」ということは間違いな」ものがあるならばあの打ち傷は黒くない fact3: この打ち傷が惚けないならばそれは黒いし錆びる fact4: もしもとある物は握り易くないなら「それは座り易いしこじつけない」ということは間違いだ fact5: もしも「握り易くない」物があればあの介護問題は牛埋葬坑でない fact6: 何かは目標実現だがしかし牛埋葬坑でない fact7: もし仮にあの介護問題は握り易いとすれば「それは目標実現であるがしかし牛埋葬坑でない」ということは嘘だ ; $hypothesis$ = 「この打ち傷は黒い」ということは誤っているということはない ; $proof$ = 
fact7 & fact1 -> int1: 「あの介護問題は目標実現であるがしかし牛埋葬坑だということはない」ということは間違いだ; int1 -> int2: 「「目標実現であるがしかし牛埋葬坑でない」ということは間違っている」ものはある; int2 & fact2 -> hypothesis; __DISPROVED__
事実1: あの介護問題は握り易い
事実2: もし「「目標実現であるけれど牛埋葬坑でない」ということは間違いな」ものがあるならばあの打ち傷は黒くない
事実3: この打ち傷が惚けないならばそれは黒いし錆びる
事実4: もしもとある物は握り易くないなら「それは座り易いしこじつけない」ということは間違いだ
事実5: もしも「握り易くない」物があればあの介護問題は牛埋葬坑でない
事実6: 何かは目標実現だがしかし牛埋葬坑でない
事実7: もし仮にあの介護問題は握り易いとすれば「それは目標実現であるがしかし牛埋葬坑でない」ということは嘘だ

仮説: 「この打ち傷は黒い」ということは誤っているということはない
1. 事実7と事実1から、推論1: "「あの介護問題は目標実現であるがしかし牛埋葬坑だということはない」ということは間違いだ"が導かれる
2. 推論1から、推論2: "「「目標実現であるがしかし牛埋葬坑でない」ということは間違っている」ものはある"が導かれる
3. 推論2と事実2から、仮説が否定される

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