この左眉は魔法石だ
fact1: この左眉は近し fact2: この左眉は御詳しい fact3: あの遺址は魔法石だ fact4: このスプライ校は魔法石だ fact5: この左眉は魔法石である fact6: もし仮にこの通り掛かりが砂嵐ならこの左眉は魔法石でなくてしかも海外生活でない
fact5 -> hypothesis;
fact5 -> hypothesis;
この左眉は魔法石でない
$facts$ = fact1: この左眉は近し fact2: この左眉は御詳しい fact3: あの遺址は魔法石だ fact4: このスプライ校は魔法石だ fact5: この左眉は魔法石である fact6: もし仮にこの通り掛かりが砂嵐ならこの左眉は魔法石でなくてしかも海外生活でない ; $hypothesis$ = この左眉は魔法石だ ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: この左眉は近し
事実2: この左眉は御詳しい
事実3: あの遺址は魔法石だ
事実4: このスプライ校は魔法石だ
事実5: この左眉は魔法石である
事実6: もし仮にこの通り掛かりが砂嵐ならこの左眉は魔法石でなくてしかも海外生活でない

仮説: この左眉は魔法石だ
1. 事実5から、仮説が導かれる

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