「もし「書き切れるしおまけにすーごい」ということは偽だとしたらＥＮＵＭでない」物はある
fact1: もし「その笏谷石は書き切れるしすーごい」ということは誤っているとすればそれはＥＮＵＭでない
$facts$ = fact1: もし「その笏谷石は書き切れるしすーごい」ということは誤っているとすればそれはＥＮＵＭでない ; $hypothesis$ = 「もし「書き切れるしおまけにすーごい」ということは偽だとしたらＥＮＵＭでない」物はある ; $proof$ = 
事実1: もし「その笏谷石は書き切れるしすーごい」ということは誤っているとすればそれはＥＮＵＭでない

仮説: 「もし「書き切れるしおまけにすーごい」ということは偽だとしたらＥＮＵＭでない」物はある