仮にあの大番頭がちょろいならばこの鶴嘴は従業だ
fact1: 仮に「「あどけなくないけど仕掛かる」物はある」ということは確かならばこの鶴嘴は継承・発展する fact2: もし仮にこの鶴嘴は継承・発展すれば「従業だ」ということは成り立つ fact3: 「従業でなくてそれにあどけない」ものはある fact4: 「「あどけなくて仕掛かる」物はある」ということは事実である fact5: 仮にこの暫定製品市場が仕掛かるとしたらその労働保険料は仕掛かる fact6: この暫定製品市場は継承・発展する fact7: もしもその労働保険料は下学集であるとすれば人間関係上である fact8: この暫定製品市場が仕掛かるならその労働保険料はあどけなくない一方でそれは仕掛かる fact9: あどけないということはないものはある fact10: あのタバコ会社は厳めしくらないがしかし注釈書だ fact11: とあるものは仕掛かる fact12: この鶴嘴が仕掛かるとすればその労働保険料は継承・発展する fact13: 「あの大番頭は借り易くない」ということは正しい fact14: この暫定製品市場があどけないならそれは仕掛かる fact15: その労働保険料は仕掛かる fact16: 仮にあの大番頭がちょろいとするとこの暫定製品市場は仕掛かる fact17: もしあるものが仕掛からないがちょろいとしたらこの暫定製品市場は継承・発展する
void -> assump1: 以下のように仮定する。あの大番頭はちょろい; fact16 & assump1 -> int1: この暫定製品市場は仕掛かる; int1 & fact8 -> int2: その労働保険料はあどけないということはないがしかし仕掛かる; int2 -> int3: 「あどけなくない一方で仕掛かる」ものはある; int3 & fact1 -> int4: この鶴嘴は継承・発展する; int4 & fact2 -> int5: この鶴嘴は従業だ; [assump1] & int5 -> hypothesis;
何かは借り易くないけれど危機管理である
$facts$ = fact1: 仮に「「あどけなくないけど仕掛かる」物はある」ということは確かならばこの鶴嘴は継承・発展する fact2: もし仮にこの鶴嘴は継承・発展すれば「従業だ」ということは成り立つ fact3: 「従業でなくてそれにあどけない」ものはある fact4: 「「あどけなくて仕掛かる」物はある」ということは事実である fact5: 仮にこの暫定製品市場が仕掛かるとしたらその労働保険料は仕掛かる fact6: この暫定製品市場は継承・発展する fact7: もしもその労働保険料は下学集であるとすれば人間関係上である fact8: この暫定製品市場が仕掛かるならその労働保険料はあどけなくない一方でそれは仕掛かる fact9: あどけないということはないものはある fact10: あのタバコ会社は厳めしくらないがしかし注釈書だ fact11: とあるものは仕掛かる fact12: この鶴嘴が仕掛かるとすればその労働保険料は継承・発展する fact13: 「あの大番頭は借り易くない」ということは正しい fact14: この暫定製品市場があどけないならそれは仕掛かる fact15: その労働保険料は仕掛かる fact16: 仮にあの大番頭がちょろいとするとこの暫定製品市場は仕掛かる fact17: もしあるものが仕掛からないがちょろいとしたらこの暫定製品市場は継承・発展する ; $hypothesis$ = 仮にあの大番頭がちょろいならばこの鶴嘴は従業だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの大番頭はちょろい; fact16 & assump1 -> int1: この暫定製品市場は仕掛かる; int1 & fact8 -> int2: その労働保険料はあどけないということはないがしかし仕掛かる; int2 -> int3: 「あどけなくない一方で仕掛かる」ものはある; int3 & fact1 -> int4: この鶴嘴は継承・発展する; int4 & fact2 -> int5: この鶴嘴は従業だ; [assump1] & int5 -> hypothesis; __PROVED__
事実1: 仮に「「あどけなくないけど仕掛かる」物はある」ということは確かならばこの鶴嘴は継承・発展する
事実2: もし仮にこの鶴嘴は継承・発展すれば「従業だ」ということは成り立つ
事実3: 「従業でなくてそれにあどけない」ものはある
事実4: 「「あどけなくて仕掛かる」物はある」ということは事実である
事実5: 仮にこの暫定製品市場が仕掛かるとしたらその労働保険料は仕掛かる
事実6: この暫定製品市場は継承・発展する
事実7: もしもその労働保険料は下学集であるとすれば人間関係上である
事実8: この暫定製品市場が仕掛かるならその労働保険料はあどけなくない一方でそれは仕掛かる
事実9: あどけないということはないものはある
事実10: あのタバコ会社は厳めしくらないがしかし注釈書だ
事実11: とあるものは仕掛かる
事実12: この鶴嘴が仕掛かるとすればその労働保険料は継承・発展する
事実13: 「あの大番頭は借り易くない」ということは正しい
事実14: この暫定製品市場があどけないならそれは仕掛かる
事実15: その労働保険料は仕掛かる
事実16: 仮にあの大番頭がちょろいとするとこの暫定製品市場は仕掛かる
事実17: もしあるものが仕掛からないがちょろいとしたらこの暫定製品市場は継承・発展する

仮説: 仮にあの大番頭がちょろいならばこの鶴嘴は従業だ
1. 仮定1: 以下のように仮定する。あの大番頭はちょろい
2. 事実16と仮定1から、推論1: "この暫定製品市場は仕掛かる"が導かれる
3. 推論1と事実8から、推論2: "その労働保険料はあどけないということはないがしかし仕掛かる"が導かれる
4. 推論2から、推論3: "「あどけなくない一方で仕掛かる」ものはある"が導かれる
5. 推論3と事実1から、推論4: "この鶴嘴は継承・発展する"が導かれる
6. 推論4と事実2から、推論5: "この鶴嘴は従業だ"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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