「「もし仮に「洒落臭くない」ということは正しいならば「奥深くないかあるいは合い難いかもしくは両方ともである」ということは誤りである」物はある」ということは間違いである
fact1: 仮に「この表徴は洒落臭い」ということは真実だとすれば「奥深くないかもしくは合い難いか両方である」ということは真実でない fact2: 「もし書き出さないとすると使い終わる」ものはある fact3: なんらかの物は洒落臭くないとすると「それは奥深いということはないかまたは合い難い」ということは真実でない fact4: 「仮に洒落臭くないとすると「奥深いかもしくは合い難いかまたは両方ともだ」ということは間違っている」ものはある
fact3 -> int1: もしこの表徴は洒落臭くないならば「奥深くないかまたはそれは合い難いか両方だ」ということは事実と異なる; int1 -> hypothesis;
$facts$ = fact1: 仮に「この表徴は洒落臭い」ということは真実だとすれば「奥深くないかもしくは合い難いか両方である」ということは真実でない fact2: 「もし書き出さないとすると使い終わる」ものはある fact3: なんらかの物は洒落臭くないとすると「それは奥深いということはないかまたは合い難い」ということは真実でない fact4: 「仮に洒落臭くないとすると「奥深いかもしくは合い難いかまたは両方ともだ」ということは間違っている」ものはある ; $hypothesis$ = 「「もし仮に「洒落臭くない」ということは正しいならば「奥深くないかあるいは合い難いかもしくは両方ともである」ということは誤りである」物はある」ということは間違いである ; $proof$ = 
fact3 -> int1: もしこの表徴は洒落臭くないならば「奥深くないかまたはそれは合い難いか両方だ」ということは事実と異なる; int1 -> hypothesis; __DISPROVED__
事実1: 仮に「この表徴は洒落臭い」ということは真実だとすれば「奥深くないかもしくは合い難いか両方である」ということは真実でない
事実2: 「もし書き出さないとすると使い終わる」ものはある
事実3: なんらかの物は洒落臭くないとすると「それは奥深いということはないかまたは合い難い」ということは真実でない
事実4: 「仮に洒落臭くないとすると「奥深いかもしくは合い難いかまたは両方ともだ」ということは間違っている」ものはある

仮説: 「「もし仮に「洒落臭くない」ということは正しいならば「奥深くないかあるいは合い難いかもしくは両方ともである」ということは誤りである」物はある」ということは間違いである
1. 事実3から、推論1: "もしこの表徴は洒落臭くないならば「奥深くないかまたはそれは合い難いか両方だ」ということは事実と異なる"が導かれる
2. 推論1から、仮説が否定される

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