「「もしも削れないとしたら「渡らないしその上目新しくない」ということは誤りな」ものはある」ということは成り立たない
fact1: もしなにがしかのものは削れないなら「渡らなくてその上目新しくない」ということは事実と異なる
fact1 -> int1: 仮にあの綿雪は削れないとしたら「渡らないし目新しくない」ということは偽である; int1 -> hypothesis;
$facts$ = fact1: もしなにがしかのものは削れないなら「渡らなくてその上目新しくない」ということは事実と異なる ; $hypothesis$ = 「「もしも削れないとしたら「渡らないしその上目新しくない」ということは誤りな」ものはある」ということは成り立たない ; $proof$ = 
fact1 -> int1: 仮にあの綿雪は削れないとしたら「渡らないし目新しくない」ということは偽である; int1 -> hypothesis; __DISPROVED__
事実1: もしなにがしかのものは削れないなら「渡らなくてその上目新しくない」ということは事実と異なる

仮説: 「「もしも削れないとしたら「渡らないしその上目新しくない」ということは誤りな」ものはある」ということは成り立たない
1. 事実1から、推論1: "仮にあの綿雪は削れないとしたら「渡らないし目新しくない」ということは偽である"が導かれる
2. 推論1から、仮説が否定される

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