もしもその僧綱印が取り掛かり易いならばあの亡夫は入港出来る
fact1: もしあの亡夫が取り掛かり易いならばその僧綱印は入港出来る fact2: もし仮にこの第二管制室がシェアーするとしたらあの亡夫は入港出来る fact3: その僧綱印はシェアーする fact4: あの亡夫は取り掛かり易い fact5: その僧綱印が入港出来るならあの亡夫は取り掛かり易い fact6: 仮にあの亡夫がシェアーするとしたらこの第二管制室は入港出来る fact7: その僧綱印は入港出来る fact8: もしもこの第二管制室が取り掛かり易いとしたらその僧綱印はシェアーする fact9: その僧綱印は庚申丸である fact10: この第二管制室は入港出来る fact11: その仕込み槽はシェアーする fact12: その平方は取り掛かり易い fact13: あの亡夫はシェアーする fact14: もしもその僧綱印が取り掛かり易いならばあの第二管制室はシェアーする fact15: その僧綱印がシェアーすればこの第二管制室は取り掛かり易い fact16: この第四講は取り掛かり易い fact17: この入貢は入港出来る fact18: この第二管制室は太り易い fact19: この第二管制室は取り掛かり易い
void -> assump1: 以下のように仮定する。その僧綱印は取り掛かり易い; fact14 & assump1 -> int1: この第二管制室はシェアーする; int1 & fact2 -> int2: あの亡夫は入港出来る; [assump1] & int2 -> hypothesis;
$facts$ = fact1: もしあの亡夫が取り掛かり易いならばその僧綱印は入港出来る fact2: もし仮にこの第二管制室がシェアーするとしたらあの亡夫は入港出来る fact3: その僧綱印はシェアーする fact4: あの亡夫は取り掛かり易い fact5: その僧綱印が入港出来るならあの亡夫は取り掛かり易い fact6: 仮にあの亡夫がシェアーするとしたらこの第二管制室は入港出来る fact7: その僧綱印は入港出来る fact8: もしもこの第二管制室が取り掛かり易いとしたらその僧綱印はシェアーする fact9: その僧綱印は庚申丸である fact10: この第二管制室は入港出来る fact11: その仕込み槽はシェアーする fact12: その平方は取り掛かり易い fact13: あの亡夫はシェアーする fact14: もしもその僧綱印が取り掛かり易いならばあの第二管制室はシェアーする fact15: その僧綱印がシェアーすればこの第二管制室は取り掛かり易い fact16: この第四講は取り掛かり易い fact17: この入貢は入港出来る fact18: この第二管制室は太り易い fact19: この第二管制室は取り掛かり易い ; $hypothesis$ = もしもその僧綱印が取り掛かり易いならばあの亡夫は入港出来る ; $proof$ = 
void -> assump1: 以下のように仮定する。その僧綱印は取り掛かり易い; fact14 & assump1 -> int1: この第二管制室はシェアーする; int1 & fact2 -> int2: あの亡夫は入港出来る; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もしあの亡夫が取り掛かり易いならばその僧綱印は入港出来る
事実2: もし仮にこの第二管制室がシェアーするとしたらあの亡夫は入港出来る
事実3: その僧綱印はシェアーする
事実4: あの亡夫は取り掛かり易い
事実5: その僧綱印が入港出来るならあの亡夫は取り掛かり易い
事実6: 仮にあの亡夫がシェアーするとしたらこの第二管制室は入港出来る
事実7: その僧綱印は入港出来る
事実8: もしもこの第二管制室が取り掛かり易いとしたらその僧綱印はシェアーする
事実9: その僧綱印は庚申丸である
事実10: この第二管制室は入港出来る
事実11: その仕込み槽はシェアーする
事実12: その平方は取り掛かり易い
事実13: あの亡夫はシェアーする
事実14: もしもその僧綱印が取り掛かり易いならばあの第二管制室はシェアーする
事実15: その僧綱印がシェアーすればこの第二管制室は取り掛かり易い
事実16: この第四講は取り掛かり易い
事実17: この入貢は入港出来る
事実18: この第二管制室は太り易い
事実19: この第二管制室は取り掛かり易い

仮説: もしもその僧綱印が取り掛かり易いならばあの亡夫は入港出来る
1. 仮定1: 以下のように仮定する。その僧綱印は取り掛かり易い
2. 事実14と仮定1から、推論1: "この第二管制室はシェアーする"が導かれる
3. 推論1と事実2から、推論2: "あの亡夫は入港出来る"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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