「「山深くないしまたＥＧでない」ものはある」ということは誤りだ
fact1: この衝撃値は山深くなくてＥＧでない
$facts$ = fact1: この衝撃値は山深くなくてＥＧでない ; $hypothesis$ = 「「山深くないしまたＥＧでない」ものはある」ということは誤りだ ; $proof$ = 
事実1: この衝撃値は山深くなくてＥＧでない

仮説: 「「山深くないしまたＥＧでない」ものはある」ということは誤りだ