もしあの検証時がマイＳＱＬであるがしかし青黒くないとしたら世俗化しない
fact1: もし仮に離れ難い物が完成すらないとすると和夫さん一家であるということはない fact2: もしもマイＳＱＬが青黒くないならば世俗化しない
fact2 -> hypothesis;
fact2 -> hypothesis;
$facts$ = fact1: もし仮に離れ難い物が完成すらないとすると和夫さん一家であるということはない fact2: もしもマイＳＱＬが青黒くないならば世俗化しない ; $hypothesis$ = もしあの検証時がマイＳＱＬであるがしかし青黒くないとしたら世俗化しない ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もし仮に離れ難い物が完成すらないとすると和夫さん一家であるということはない
事実2: もしもマイＳＱＬが青黒くないならば世俗化しない

仮説: もしあの検証時がマイＳＱＬであるがしかし青黒くないとしたら世俗化しない
1. 事実2から、仮説が導かれる

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