「「もし仮に「固くなくて実行し易い」ということは偽ならば「一変する」ということは事実な」物はある」ということは事実と異なる
fact1: もし「この北辺は固くないがしかし実行し易い」ということは成り立つということはないなら一変する
$facts$ = fact1: もし「この北辺は固くないがしかし実行し易い」ということは成り立つということはないなら一変する ; $hypothesis$ = 「「もし仮に「固くなくて実行し易い」ということは偽ならば「一変する」ということは事実な」物はある」ということは事実と異なる ; $proof$ = 
事実1: もし「この北辺は固くないがしかし実行し易い」ということは成り立つということはないなら一変する

仮説: 「「もし仮に「固くなくて実行し易い」ということは偽ならば「一変する」ということは事実な」物はある」ということは事実と異なる