もしもその箱船が懐こいとするとこの物持ち筋は持ち易い
fact1: もし仮にその箱船がエンバイロメンタルならあの平滑性は地中深くないがエンバイロメンタルだ fact2: 仮にその箱船がエンバイロメンタルだとすればあの平滑性は地中深い fact3: その箱船は志す fact4: もしもあの平滑性がエンバイロメンタルであるということはない一方で地中深いとしたらこの物持ち筋は持ち易い fact5: 仮にあの平滑性が持ち易いとしたらこの物持ち筋は地中深くないがしかし持ち易い fact6: あの平滑性は枝分かれする fact7: もしあの平滑性が地中深いとすればあの物持ち筋は地中深い fact8: もしその箱船が持ち易いならばこの物持ち筋は懐こい fact9: もし仮にその箱船が地中深いならあの平滑性はエンバイロメンタルでないがしかし地中深い fact10: その箱船は動ずる fact11: 仮にその箱船が懐こいなら地中深い fact12: もし仮に「その箱船は懐こい」ということは本当だとしたらあの平滑性は懐こい fact13: その箱船は持ち易い fact14: もしもあの平滑性が懐こいとすればその箱船は懐こい
void -> assump1: 以下のように仮定する。その箱船は懐こい; fact11 & assump1 -> int1: その箱船は地中深い; int1 & fact9 -> int2: あの平滑性はエンバイロメンタルでない一方で地中深い; int2 & fact4 -> int3: この物持ち筋は持ち易い; [assump1] & int3 -> hypothesis;
$facts$ = fact1: もし仮にその箱船がエンバイロメンタルならあの平滑性は地中深くないがエンバイロメンタルだ fact2: 仮にその箱船がエンバイロメンタルだとすればあの平滑性は地中深い fact3: その箱船は志す fact4: もしもあの平滑性がエンバイロメンタルであるということはない一方で地中深いとしたらこの物持ち筋は持ち易い fact5: 仮にあの平滑性が持ち易いとしたらこの物持ち筋は地中深くないがしかし持ち易い fact6: あの平滑性は枝分かれする fact7: もしあの平滑性が地中深いとすればあの物持ち筋は地中深い fact8: もしその箱船が持ち易いならばこの物持ち筋は懐こい fact9: もし仮にその箱船が地中深いならあの平滑性はエンバイロメンタルでないがしかし地中深い fact10: その箱船は動ずる fact11: 仮にその箱船が懐こいなら地中深い fact12: もし仮に「その箱船は懐こい」ということは本当だとしたらあの平滑性は懐こい fact13: その箱船は持ち易い fact14: もしもあの平滑性が懐こいとすればその箱船は懐こい ; $hypothesis$ = もしもその箱船が懐こいとするとこの物持ち筋は持ち易い ; $proof$ = 
void -> assump1: 以下のように仮定する。その箱船は懐こい; fact11 & assump1 -> int1: その箱船は地中深い; int1 & fact9 -> int2: あの平滑性はエンバイロメンタルでない一方で地中深い; int2 & fact4 -> int3: この物持ち筋は持ち易い; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もし仮にその箱船がエンバイロメンタルならあの平滑性は地中深くないがエンバイロメンタルだ
事実2: 仮にその箱船がエンバイロメンタルだとすればあの平滑性は地中深い
事実3: その箱船は志す
事実4: もしもあの平滑性がエンバイロメンタルであるということはない一方で地中深いとしたらこの物持ち筋は持ち易い
事実5: 仮にあの平滑性が持ち易いとしたらこの物持ち筋は地中深くないがしかし持ち易い
事実6: あの平滑性は枝分かれする
事実7: もしあの平滑性が地中深いとすればあの物持ち筋は地中深い
事実8: もしその箱船が持ち易いならばこの物持ち筋は懐こい
事実9: もし仮にその箱船が地中深いならあの平滑性はエンバイロメンタルでないがしかし地中深い
事実10: その箱船は動ずる
事実11: 仮にその箱船が懐こいなら地中深い
事実12: もし仮に「その箱船は懐こい」ということは本当だとしたらあの平滑性は懐こい
事実13: その箱船は持ち易い
事実14: もしもあの平滑性が懐こいとすればその箱船は懐こい

仮説: もしもその箱船が懐こいとするとこの物持ち筋は持ち易い
1. 仮定1: 以下のように仮定する。その箱船は懐こい
2. 事実11と仮定1から、推論1: "その箱船は地中深い"が導かれる
3. 推論1と事実9から、推論2: "あの平滑性はエンバイロメンタルでない一方で地中深い"が導かれる
4. 推論2と事実4から、推論3: "この物持ち筋は持ち易い"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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