その実践内容は成し難い
fact1: その実践内容は溶接であるなら「危ういが高血圧性脳出血でない」ということは成り立つということはない fact2: 「何かは危ういが高血圧性脳出血でない」ということは間違っているとすれば成し難くない fact3: もしあの腕試しは溶接でないとすると「危うくて具現化でない」ということは事実と異なる fact4: その実践内容は溶接である
fact1 & fact4 -> int1: 「その実践内容は危ういけど高血圧性脳出血でない」ということは偽である; fact2 -> int2: もし「「その実践内容は危ういがしかし高血圧性脳出血でない」ということは確かだ」ということは成り立たないとすれば成し難くない; int1 & int2 -> hypothesis;
fact1 & fact4 -> int1: ¬({AA}{a} & ¬{AB}{a}); fact2 -> int2: ¬({AA}{a} & ¬{AB}{a}) -> ¬{B}{a}; int1 & int2 -> hypothesis;
「あの腕試しは危ういけれど具現化でない」ということは誤っている
$facts$ = fact1: その実践内容は溶接であるなら「危ういが高血圧性脳出血でない」ということは成り立つということはない fact2: 「何かは危ういが高血圧性脳出血でない」ということは間違っているとすれば成し難くない fact3: もしあの腕試しは溶接でないとすると「危うくて具現化でない」ということは事実と異なる fact4: その実践内容は溶接である ; $hypothesis$ = その実践内容は成し難い ; $proof$ = 
fact1 & fact4 -> int1: 「その実践内容は危ういけど高血圧性脳出血でない」ということは偽である; fact2 -> int2: もし「「その実践内容は危ういがしかし高血圧性脳出血でない」ということは確かだ」ということは成り立たないとすれば成し難くない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: その実践内容は溶接であるなら「危ういが高血圧性脳出血でない」ということは成り立つということはない
事実2: 「何かは危ういが高血圧性脳出血でない」ということは間違っているとすれば成し難くない
事実3: もしあの腕試しは溶接でないとすると「危うくて具現化でない」ということは事実と異なる
事実4: その実践内容は溶接である

仮説: その実践内容は成し難い
1. 事実1と事実4から、推論1: "「その実践内容は危ういけど高血圧性脳出血でない」ということは偽である"が導かれる
2. 事実2から、推論2: "もし「「その実践内容は危ういがしかし高血圧性脳出血でない」ということは確かだ」ということは成り立たないとすれば成し難くない"が導かれる
3. 推論1と推論2から、仮説が否定される

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