「あの骨頭は愛蔵するか太り易くない」ということは本当でない
fact1: その横型はホワイトソースであるとしたら「あの骨頭は愛蔵するかあるいはそれは太り易くないか両方ともである」ということは偽である fact2: 「その横型はホワイトソースである」ということは確かである
$facts$ = fact1: その横型はホワイトソースであるとしたら「あの骨頭は愛蔵するかあるいはそれは太り易くないか両方ともである」ということは偽である fact2: 「その横型はホワイトソースである」ということは確かである ; $hypothesis$ = 「あの骨頭は愛蔵するか太り易くない」ということは本当でない ; $proof$ = 
事実1: その横型はホワイトソースであるとしたら「あの骨頭は愛蔵するかあるいはそれは太り易くないか両方ともである」ということは偽である
事実2: 「その横型はホワイトソースである」ということは確かである

仮説: 「あの骨頭は愛蔵するか太り易くない」ということは本当でない