「「もし実施手順でないししかもハードワックスであるということはないとすれば御疲れ様である」ものはある」ということは成り立つということはない
fact1: もしその労働が実施手順でないしかつそれはハードワックスでないなら御疲れ様である
$facts$ = fact1: もしその労働が実施手順でないしかつそれはハードワックスでないなら御疲れ様である ; $hypothesis$ = 「「もし実施手順でないししかもハードワックスであるということはないとすれば御疲れ様である」ものはある」ということは成り立つということはない ; $proof$ = 
事実1: もしその労働が実施手順でないしかつそれはハードワックスでないなら御疲れ様である

仮説: 「「もし実施手順でないししかもハードワックスであるということはないとすれば御疲れ様である」ものはある」ということは成り立つということはない