この遠隔は授権する
fact1: もしも何かは直面しないならばそれはチェック出来るしそれに授権する fact2: この有機塩素化合物は授権する fact3: この遠隔はチェック出来る fact4: もしこの遠隔がチェック出来るとしたらそれは授権する
fact4 & fact3 -> hypothesis;
fact4 & fact3 -> hypothesis;
あの十国峠はチェック出来る
fact5 -> int1: 仮にあの十国峠は直面するということはないなら「チェック出来るしまた授権する」ということは成り立つ;
$facts$ = fact1: もしも何かは直面しないならばそれはチェック出来るしそれに授権する fact2: この有機塩素化合物は授権する fact3: この遠隔はチェック出来る fact4: もしこの遠隔がチェック出来るとしたらそれは授権する ; $hypothesis$ = この遠隔は授権する ; $proof$ = 
fact4 & fact3 -> hypothesis; __PROVED__
事実1: もしも何かは直面しないならばそれはチェック出来るしそれに授権する
事実2: この有機塩素化合物は授権する
事実3: この遠隔はチェック出来る
事実4: もしこの遠隔がチェック出来るとしたらそれは授権する

仮説: この遠隔は授権する
1. 事実4と事実3から、仮説が導かれる

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