その除雪は寄れない
fact1: その創設は溶け易いかまたは学術研究用であるかもしくは両方だ fact2: もしも「その創設は溶け易い」ということは成り立つとすればその除雪は寄れる fact3: 仮に「その創設は学術研究用だ」ということは事実であるとしたらその除雪は寄れる
$facts$ = fact1: その創設は溶け易いかまたは学術研究用であるかもしくは両方だ fact2: もしも「その創設は溶け易い」ということは成り立つとすればその除雪は寄れる fact3: 仮に「その創設は学術研究用だ」ということは事実であるとしたらその除雪は寄れる ; $hypothesis$ = その除雪は寄れない ; $proof$ = 
事実1: その創設は溶け易いかまたは学術研究用であるかもしくは両方だ
事実2: もしも「その創設は溶け易い」ということは成り立つとすればその除雪は寄れる
事実3: 仮に「その創設は学術研究用だ」ということは事実であるとしたらその除雪は寄れる

仮説: その除雪は寄れない