「「この枝毛は温熱だけれど届かない」ということは真実である」ということは成り立たない
fact1: 「もしも「白状な」物はあれば「「この枝毛は温熱だが届くということはない」ということは誤りである」ということは正しい」ということは成り立つ fact2: 「白状である」物はある
$facts$ = fact1: 「もしも「白状な」物はあれば「「この枝毛は温熱だが届くということはない」ということは誤りである」ということは正しい」ということは成り立つ fact2: 「白状である」物はある ; $hypothesis$ = 「「この枝毛は温熱だけれど届かない」ということは真実である」ということは成り立たない ; $proof$ = 
事実1: 「もしも「白状な」物はあれば「「この枝毛は温熱だが届くということはない」ということは誤りである」ということは正しい」ということは成り立つ
事実2: 「白状である」物はある

仮説: 「「この枝毛は温熱だけれど届かない」ということは真実である」ということは成り立たない