「「もしも気難しいならば「嘯くかもしくは潰せるということはない」ということは事実と異なる」物はある」ということは成り立たない
fact1: 気難しいものは嘯かない fact2: 仮にある物は気難しいならば「それは嘯くかまたは潰せないかもしくは両方だ」ということは誤りだ fact3: 仮になんらかのものは気難しいならば「嘯くか潰せる」ということは間違いである fact4: あの毒猿は気難しいとすれば「それは嘯くかそれは潰せるか両方ともである」ということは間違っている fact5: もし「あの毒猿は気難しい」ということは確かであるならば嘯くかあるいはそれは潰せないかどちらもである
fact2 -> int1: 「あの毒猿は気難しい」ということは正しいとすると「嘯くかまたはそれは潰せない」ということは誤っている; int1 -> hypothesis;
$facts$ = fact1: 気難しいものは嘯かない fact2: 仮にある物は気難しいならば「それは嘯くかまたは潰せないかもしくは両方だ」ということは誤りだ fact3: 仮になんらかのものは気難しいならば「嘯くか潰せる」ということは間違いである fact4: あの毒猿は気難しいとすれば「それは嘯くかそれは潰せるか両方ともである」ということは間違っている fact5: もし「あの毒猿は気難しい」ということは確かであるならば嘯くかあるいはそれは潰せないかどちらもである ; $hypothesis$ = 「「もしも気難しいならば「嘯くかもしくは潰せるということはない」ということは事実と異なる」物はある」ということは成り立たない ; $proof$ = 
fact2 -> int1: 「あの毒猿は気難しい」ということは正しいとすると「嘯くかまたはそれは潰せない」ということは誤っている; int1 -> hypothesis; __DISPROVED__
事実1: 気難しいものは嘯かない
事実2: 仮にある物は気難しいならば「それは嘯くかまたは潰せないかもしくは両方だ」ということは誤りだ
事実3: 仮になんらかのものは気難しいならば「嘯くか潰せる」ということは間違いである
事実4: あの毒猿は気難しいとすれば「それは嘯くかそれは潰せるか両方ともである」ということは間違っている
事実5: もし「あの毒猿は気難しい」ということは確かであるならば嘯くかあるいはそれは潰せないかどちらもである

仮説: 「「もしも気難しいならば「嘯くかもしくは潰せるということはない」ということは事実と異なる」物はある」ということは成り立たない
1. 事実2から、推論1: "「あの毒猿は気難しい」ということは正しいとすると「嘯くかまたはそれは潰せない」ということは誤っている"が導かれる
2. 推論1から、仮説が否定される

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