あの間宮中尉は推移する
fact1: あの間宮中尉は船出する一方でそれはドラックしない fact2: もし仮にその自分以下は資本調達方法でないならば「あの間宮中尉は偏り易いしおまけに推移する」ということは間違いだ fact3: 資本調達方法は推移する fact4: もし「とある物は熱っぽくないがしかし資本調達方法である」ということは嘘であるとすると資本調達方法でない fact5: もしなにがしかのものはドラックするけど怖ーくないとすればそれは凭せる fact6: あの間宮中尉は船出するけど固くない fact7: もしも「なにかは偏り易くて推移する」ということは成り立たないとしたら推移しない fact8: そのボンドは資本調達方法だ fact9: 仮にあの間宮中尉は船出するがしかしドラックしないとしたらそれは資本調達方法である fact10: もし仮になにがしかの物は格好良くないとしたら「それは熱っぽくないし加えて資本調達方法である」ということは誤りである fact11: あの間宮中尉は船出する
fact9 & fact1 -> int1: あの間宮中尉は資本調達方法だ; fact3 -> int2: もし仮にあの間宮中尉が資本調達方法ならそれは推移する; int1 & int2 -> hypothesis;
fact9 & fact1 -> int1: {B}{a}; fact3 -> int2: {B}{a} -> {A}{a}; int1 & int2 -> hypothesis;
あの間宮中尉は推移しない
fact12 -> int3: もしも「あの間宮中尉は偏り易いし推移する」ということは誤りだとしたらそれは推移しない; fact13 -> int4: 仮に「その自分以下は熱っぽくないがしかし資本調達方法だ」ということは成り立つということはないならそれは資本調達方法でない; fact14 -> int5: もし仮にその自分以下は格好良くないとすると「「それは熱っぽくない一方で資本調達方法だ」ということは事実だ」ということは成り立たない;
$facts$ = fact1: あの間宮中尉は船出する一方でそれはドラックしない fact2: もし仮にその自分以下は資本調達方法でないならば「あの間宮中尉は偏り易いしおまけに推移する」ということは間違いだ fact3: 資本調達方法は推移する fact4: もし「とある物は熱っぽくないがしかし資本調達方法である」ということは嘘であるとすると資本調達方法でない fact5: もしなにがしかのものはドラックするけど怖ーくないとすればそれは凭せる fact6: あの間宮中尉は船出するけど固くない fact7: もしも「なにかは偏り易くて推移する」ということは成り立たないとしたら推移しない fact8: そのボンドは資本調達方法だ fact9: 仮にあの間宮中尉は船出するがしかしドラックしないとしたらそれは資本調達方法である fact10: もし仮になにがしかの物は格好良くないとしたら「それは熱っぽくないし加えて資本調達方法である」ということは誤りである fact11: あの間宮中尉は船出する ; $hypothesis$ = あの間宮中尉は推移する ; $proof$ = 
fact9 & fact1 -> int1: あの間宮中尉は資本調達方法だ; fact3 -> int2: もし仮にあの間宮中尉が資本調達方法ならそれは推移する; int1 & int2 -> hypothesis; __PROVED__
事実1: あの間宮中尉は船出する一方でそれはドラックしない
事実2: もし仮にその自分以下は資本調達方法でないならば「あの間宮中尉は偏り易いしおまけに推移する」ということは間違いだ
事実3: 資本調達方法は推移する
事実4: もし「とある物は熱っぽくないがしかし資本調達方法である」ということは嘘であるとすると資本調達方法でない
事実5: もしなにがしかのものはドラックするけど怖ーくないとすればそれは凭せる
事実6: あの間宮中尉は船出するけど固くない
事実7: もしも「なにかは偏り易くて推移する」ということは成り立たないとしたら推移しない
事実8: そのボンドは資本調達方法だ
事実9: 仮にあの間宮中尉は船出するがしかしドラックしないとしたらそれは資本調達方法である
事実10: もし仮になにがしかの物は格好良くないとしたら「それは熱っぽくないし加えて資本調達方法である」ということは誤りである
事実11: あの間宮中尉は船出する

仮説: あの間宮中尉は推移する
1. 事実9と事実1から、推論1: "あの間宮中尉は資本調達方法だ"が導かれる
2. 事実3から、推論2: "もし仮にあの間宮中尉が資本調達方法ならそれは推移する"が導かれる
3. 推論1と推論2から、仮説が導かれる

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