そのパブはフォース・ストリートである
fact1: 「とある物は座り直すか熟睡するということはないかあるいはどちらもである」ということは真実だ fact2: もしも「座り直すかあるいは熟睡しない」物があるとしたらそのパブはフォース・ストリートだ
$facts$ = fact1: 「とある物は座り直すか熟睡するということはないかあるいはどちらもである」ということは真実だ fact2: もしも「座り直すかあるいは熟睡しない」物があるとしたらそのパブはフォース・ストリートだ ; $hypothesis$ = そのパブはフォース・ストリートである ; $proof$ = 
事実1: 「とある物は座り直すか熟睡するということはないかあるいはどちらもである」ということは真実だ
事実2: もしも「座り直すかあるいは熟睡しない」物があるとしたらそのパブはフォース・ストリートだ

仮説: そのパブはフォース・ストリートである