この一研究者はＢＯＯＣＳだ
fact1: 「この一研究者は腹ばうということはないけれど御守る」ということは偽である fact2: もし仮に「この一研究者は腹ばわないがしかしそれは御守る」ということは成り立たないとすればそれはＢＯＯＣＳである
$facts$ = fact1: 「この一研究者は腹ばうということはないけれど御守る」ということは偽である fact2: もし仮に「この一研究者は腹ばわないがしかしそれは御守る」ということは成り立たないとすればそれはＢＯＯＣＳである ; $hypothesis$ = この一研究者はＢＯＯＣＳだ ; $proof$ = 
事実1: 「この一研究者は腹ばうということはないけれど御守る」ということは偽である
事実2: もし仮に「この一研究者は腹ばわないがしかしそれは御守る」ということは成り立たないとすればそれはＢＯＯＣＳである

仮説: この一研究者はＢＯＯＣＳだ