「この壁龕はしおらしくない」ということは正しい
fact1: この壁龕は塩っ辛くないかもしくはそれは正当化出来る fact2: もし仮にこの壁龕が塩っ辛くないかそれは正当化出来るかどちらもであるならばしおらしくない
$facts$ = fact1: この壁龕は塩っ辛くないかもしくはそれは正当化出来る fact2: もし仮にこの壁龕が塩っ辛くないかそれは正当化出来るかどちらもであるならばしおらしくない ; $hypothesis$ = 「この壁龕はしおらしくない」ということは正しい ; $proof$ = 
事実1: この壁龕は塩っ辛くないかもしくはそれは正当化出来る
事実2: もし仮にこの壁龕が塩っ辛くないかそれは正当化出来るかどちらもであるならばしおらしくない

仮説: 「この壁龕はしおらしくない」ということは正しい