「あの現金取り引きは上階だ」ということは成り立つ
fact1: 何かは屠るしその上取り去る fact2: 「屠るし更に取り去る」物があるならあの現金取り引きは上階だ
$facts$ = fact1: 何かは屠るしその上取り去る fact2: 「屠るし更に取り去る」物があるならあの現金取り引きは上階だ ; $hypothesis$ = 「あの現金取り引きは上階だ」ということは成り立つ ; $proof$ = 
事実1: 何かは屠るしその上取り去る
事実2: 「屠るし更に取り去る」物があるならあの現金取り引きは上階だ

仮説: 「あの現金取り引きは上階だ」ということは成り立つ