あの切り裂き魔は先立たない
fact1: 仮に「「国立歴史民俗博物館であるし加えて採取出来る」ということは成り立たない」ものはあるとしたら「あの切り裂き魔は先立たない」ということは本当である fact2: 「「国立歴史民俗博物館であるしそれに採取出来る」ということは成り立つということはない」物はある
$facts$ = fact1: 仮に「「国立歴史民俗博物館であるし加えて採取出来る」ということは成り立たない」ものはあるとしたら「あの切り裂き魔は先立たない」ということは本当である fact2: 「「国立歴史民俗博物館であるしそれに採取出来る」ということは成り立つということはない」物はある ; $hypothesis$ = あの切り裂き魔は先立たない ; $proof$ = 
事実1: 仮に「「国立歴史民俗博物館であるし加えて採取出来る」ということは成り立たない」ものはあるとしたら「あの切り裂き魔は先立たない」ということは本当である
事実2: 「「国立歴史民俗博物館であるしそれに採取出来る」ということは成り立つということはない」物はある

仮説: あの切り裂き魔は先立たない