「「あの回帰図は染めないがＪＡＳ法である」ということは誤っているとすればあの回帰図は標準搭載しない」ということは偽だ
fact1: もしも「あるものは染めないけどＪＡＳ法だ」ということは成り立たないなら「それは標準搭載しない」ということは本当だ
$facts$ = fact1: もしも「あるものは染めないけどＪＡＳ法だ」ということは成り立たないなら「それは標準搭載しない」ということは本当だ ; $hypothesis$ = 「「あの回帰図は染めないがＪＡＳ法である」ということは誤っているとすればあの回帰図は標準搭載しない」ということは偽だ ; $proof$ = 
事実1: もしも「あるものは染めないけどＪＡＳ法だ」ということは成り立たないなら「それは標準搭載しない」ということは本当だ

仮説: 「「あの回帰図は染めないがＪＡＳ法である」ということは誤っているとすればあの回帰図は標準搭載しない」ということは偽だ