「あの店舗レイアウトは階段下だ」ということは真実だ
fact1: 「「通知すしそれに振るう散する」ということは間違いな」ものはある fact2: 仮に「「通知すしさらに振るう散する」ということは誤っている」ものがあるとしたらあの店舗レイアウトは階段下だということはない
$facts$ = fact1: 「「通知すしそれに振るう散する」ということは間違いな」ものはある fact2: 仮に「「通知すしさらに振るう散する」ということは誤っている」ものがあるとしたらあの店舗レイアウトは階段下だということはない ; $hypothesis$ = 「あの店舗レイアウトは階段下だ」ということは真実だ ; $proof$ = 
事実1: 「「通知すしそれに振るう散する」ということは間違いな」ものはある
事実2: 仮に「「通知すしさらに振るう散する」ということは誤っている」ものがあるとしたらあの店舗レイアウトは階段下だということはない

仮説: 「あの店舗レイアウトは階段下だ」ということは真実だ