あの耕作者は胃薬だ
fact1: あの耕作者は眠たい fact2: 用い易い物は眠たい fact3: もしもあの耕作者が眠たいならばそれは胃薬だ
fact3 & fact1 -> hypothesis;
fact3 & fact1 -> hypothesis;
もし仮にあの第一キャンプ予定地が用い易いならばそれは眠たい
fact4 -> hypothesis;
$facts$ = fact1: あの耕作者は眠たい fact2: 用い易い物は眠たい fact3: もしもあの耕作者が眠たいならばそれは胃薬だ ; $hypothesis$ = あの耕作者は胃薬だ ; $proof$ = 
fact3 & fact1 -> hypothesis; __PROVED__
事実1: あの耕作者は眠たい
事実2: 用い易い物は眠たい
事実3: もしもあの耕作者が眠たいならばそれは胃薬だ

仮説: あの耕作者は胃薬だ
1. 事実3と事実1から、仮説が導かれる

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