「仮に「「このコード番号は減算するけれどそれは逓増タイプでない」ということは嘘だ」ということは本当であるとすればあのコード番号はトップスであるということはない」ということは嘘だ
fact1: もしも「この損金算入額は安堵し難いけれど逓増タイプでない」ということは嘘だとすると召さない fact2: なんらかのものは減算するけど逓増タイプでないとしたらトップスでない fact3: 仮に「とあるものは減算するが逓増タイプでない」ということは成り立たないとしたら「それはトップスだ」ということは誤りである fact4: もしも「なにがしかのものは減算するけどそれは逓増タイプでない」ということは嘘であるなら「トップスだ」ということは事実である fact5: もしこのコード番号は逓増タイプであるとしたらそれはトップスでない
fact3 -> hypothesis;
fact3 -> hypothesis;
$facts$ = fact1: もしも「この損金算入額は安堵し難いけれど逓増タイプでない」ということは嘘だとすると召さない fact2: なんらかのものは減算するけど逓増タイプでないとしたらトップスでない fact3: 仮に「とあるものは減算するが逓増タイプでない」ということは成り立たないとしたら「それはトップスだ」ということは誤りである fact4: もしも「なにがしかのものは減算するけどそれは逓増タイプでない」ということは嘘であるなら「トップスだ」ということは事実である fact5: もしこのコード番号は逓増タイプであるとしたらそれはトップスでない ; $hypothesis$ = 「仮に「「このコード番号は減算するけれどそれは逓増タイプでない」ということは嘘だ」ということは本当であるとすればあのコード番号はトップスであるということはない」ということは嘘だ ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: もしも「この損金算入額は安堵し難いけれど逓増タイプでない」ということは嘘だとすると召さない
事実2: なんらかのものは減算するけど逓増タイプでないとしたらトップスでない
事実3: 仮に「とあるものは減算するが逓増タイプでない」ということは成り立たないとしたら「それはトップスだ」ということは誤りである
事実4: もしも「なにがしかのものは減算するけどそれは逓増タイプでない」ということは嘘であるなら「トップスだ」ということは事実である
事実5: もしこのコード番号は逓増タイプであるとしたらそれはトップスでない

仮説: 「仮に「「このコード番号は減算するけれどそれは逓増タイプでない」ということは嘘だ」ということは本当であるとすればあのコード番号はトップスであるということはない」ということは嘘だ
1. 事実3から、仮説が否定される

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