この厚手は冷え易いということはない
fact1: もしも「この行数は通じ難くないし更に迷い難くない」ということは間違っているとすればあの厚手は冷え易い fact2: 「この行数は通じ難くないしまた迷い難くない」ということは偽だ
$facts$ = fact1: もしも「この行数は通じ難くないし更に迷い難くない」ということは間違っているとすればあの厚手は冷え易い fact2: 「この行数は通じ難くないしまた迷い難くない」ということは偽だ ; $hypothesis$ = この厚手は冷え易いということはない ; $proof$ = 
事実1: もしも「この行数は通じ難くないし更に迷い難くない」ということは間違っているとすればあの厚手は冷え易い
事実2: 「この行数は通じ難くないしまた迷い難くない」ということは偽だ

仮説: この厚手は冷え易いということはない