「「仮に「コピーするしロイヤル・オーダーでない」ということは事実と異なるとすると削り直さない」ものはある」ということは成り立たない
fact1: もしも「この噴火はコピーするけどロイヤル・オーダーでない」ということは成り立たないならば削り直すということはない
$facts$ = fact1: もしも「この噴火はコピーするけどロイヤル・オーダーでない」ということは成り立たないならば削り直すということはない ; $hypothesis$ = 「「仮に「コピーするしロイヤル・オーダーでない」ということは事実と異なるとすると削り直さない」ものはある」ということは成り立たない ; $proof$ = 
事実1: もしも「この噴火はコピーするけどロイヤル・オーダーでない」ということは成り立たないならば削り直すということはない

仮説: 「「仮に「コピーするしロイヤル・オーダーでない」ということは事実と異なるとすると削り直さない」ものはある」ということは成り立たない