「仮に這い回らないとするとキープする」ものはある
fact1: もし仮にこの下取りが這い回らないならキープする fact2: なにがしかの物がキープしないとしたらゲートマスターだ
fact1 -> hypothesis;
fact1 -> hypothesis;
もしこの流通企業はキープするということはないなら「それはゲートマスターだ」ということは確かだ
fact3 -> hypothesis;
$facts$ = fact1: もし仮にこの下取りが這い回らないならキープする fact2: なにがしかの物がキープしないとしたらゲートマスターだ ; $hypothesis$ = 「仮に這い回らないとするとキープする」ものはある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: もし仮にこの下取りが這い回らないならキープする
事実2: なにがしかの物がキープしないとしたらゲートマスターだ

仮説: 「仮に這い回らないとするとキープする」ものはある
1. 事実1から、仮説が導かれる

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