「その牛脂は赤らまないし忘れ難くない」ということは成り立たない
fact1: もし仮にその牛脂が無いとすればそれは赤らまないし加えてそれは忘れ難いということはない fact2: その牛脂は無い
$facts$ = fact1: もし仮にその牛脂が無いとすればそれは赤らまないし加えてそれは忘れ難いということはない fact2: その牛脂は無い ; $hypothesis$ = 「その牛脂は赤らまないし忘れ難くない」ということは成り立たない ; $proof$ = 
事実1: もし仮にその牛脂が無いとすればそれは赤らまないし加えてそれは忘れ難いということはない
事実2: その牛脂は無い

仮説: 「その牛脂は赤らまないし忘れ難くない」ということは成り立たない