「仮に「あの黒豹は赤色でないし履き為さるということはない」ということは事実と異なるならあの黒豹は解明しない」ということは確かでない
fact1: もしも「何かは赤色でないしさらにそれは履き為さらない」ということは誤りであるとすれば解明しない
$facts$ = fact1: もしも「何かは赤色でないしさらにそれは履き為さらない」ということは誤りであるとすれば解明しない ; $hypothesis$ = 「仮に「あの黒豹は赤色でないし履き為さるということはない」ということは事実と異なるならあの黒豹は解明しない」ということは確かでない ; $proof$ = 
事実1: もしも「何かは赤色でないしさらにそれは履き為さらない」ということは誤りであるとすれば解明しない

仮説: 「仮に「あの黒豹は赤色でないし履き為さるということはない」ということは事実と異なるならあの黒豹は解明しない」ということは確かでない