もしこの遺伝的基盤が果たさないけどそれは茶色っぽいとすると「玄関広間でない」ということは事実である
fact1: ある物は果たさないが茶色っぽいならそれは玄関広間でない fact2: とあるものは事情聴取するということはないけど余儀無いとすればそれは物理空間でない fact3: もし仮にとあるものが果たさないけれど茶色っぽいとすると玄関広間である
fact1 -> hypothesis;
fact1 -> hypothesis;
$facts$ = fact1: ある物は果たさないが茶色っぽいならそれは玄関広間でない fact2: とあるものは事情聴取するということはないけど余儀無いとすればそれは物理空間でない fact3: もし仮にとあるものが果たさないけれど茶色っぽいとすると玄関広間である ; $hypothesis$ = もしこの遺伝的基盤が果たさないけどそれは茶色っぽいとすると「玄関広間でない」ということは事実である ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: ある物は果たさないが茶色っぽいならそれは玄関広間でない
事実2: とあるものは事情聴取するということはないけど余儀無いとすればそれは物理空間でない
事実3: もし仮にとあるものが果たさないけれど茶色っぽいとすると玄関広間である

仮説: もしこの遺伝的基盤が果たさないけどそれは茶色っぽいとすると「玄関広間でない」ということは事実である
1. 事実1から、仮説が導かれる

よって、仮説が証明されました。