「もしもあの真理値が拳固でないとすればあの真理値は掘り始めるがしかし危なっかしいということはない」ということは成り立たない
fact1: もしもとあるものは拳固でないなら掘り始めるけれど危なっかしくない
$facts$ = fact1: もしもとあるものは拳固でないなら掘り始めるけれど危なっかしくない ; $hypothesis$ = 「もしもあの真理値が拳固でないとすればあの真理値は掘り始めるがしかし危なっかしいということはない」ということは成り立たない ; $proof$ = 
事実1: もしもとあるものは拳固でないなら掘り始めるけれど危なっかしくない

仮説: 「もしもあの真理値が拳固でないとすればあの真理値は掘り始めるがしかし危なっかしいということはない」ということは成り立たない