やっぱり二重否定除去から勝手な命題を降って越させるプランが全く想像つかん…