「この中間商人は克服しない」ということは成り立つ
fact1: 仮にとあるものが減速するとすればばあかしかない fact2: この中間商人が描画するならばあの文体は克服する fact3: もしなにがしかの物が着易いならばばあかしい fact4: もし「この三月前半はばあかしい」ということは事実だとしたら「その人命は描画するけど克服しない」ということは誤りだ fact5: もし仮にある物が減速するとしたら克服するということはない fact6: この中間商人はばあかしいなら「あの文体は減速する」ということは事実だ fact7: その人命が着易いならばこの中間商人は減速する fact8: もしあの文体がばあかしいとするとそれは描画する fact9: 「このＤＩＧＩＣはばあかしい」ということは成り立つとすればこの三月前半はばあかしい fact10: もしもあの文体が克服するとしたらこの中間商人は克服する fact11: あの文体が描画するとすればその人命は着易い fact12: 仮にその人命が描画するならそれは着易い fact13: あの文体はばあかしい
fact8 & fact13 -> int1: あの文体は描画する; int1 & fact11 -> int2: その人命は着易い; int2 & fact7 -> int3: この中間商人は減速する; fact5 -> int4: 仮に「この中間商人は減速する」ということは真実だとしたら克服しない; int3 & int4 -> hypothesis;
この中間商人は克服する
fact16 -> int5: もし仮にこのＤＩＧＩＣが着易いとしたらばあかしい;
$facts$ = fact1: 仮にとあるものが減速するとすればばあかしかない fact2: この中間商人が描画するならばあの文体は克服する fact3: もしなにがしかの物が着易いならばばあかしい fact4: もし「この三月前半はばあかしい」ということは事実だとしたら「その人命は描画するけど克服しない」ということは誤りだ fact5: もし仮にある物が減速するとしたら克服するということはない fact6: この中間商人はばあかしいなら「あの文体は減速する」ということは事実だ fact7: その人命が着易いならばこの中間商人は減速する fact8: もしあの文体がばあかしいとするとそれは描画する fact9: 「このＤＩＧＩＣはばあかしい」ということは成り立つとすればこの三月前半はばあかしい fact10: もしもあの文体が克服するとしたらこの中間商人は克服する fact11: あの文体が描画するとすればその人命は着易い fact12: 仮にその人命が描画するならそれは着易い fact13: あの文体はばあかしい ; $hypothesis$ = 「この中間商人は克服しない」ということは成り立つ ; $proof$ = 
fact8 & fact13 -> int1: あの文体は描画する; int1 & fact11 -> int2: その人命は着易い; int2 & fact7 -> int3: この中間商人は減速する; fact5 -> int4: 仮に「この中間商人は減速する」ということは真実だとしたら克服しない; int3 & int4 -> hypothesis; __PROVED__
事実1: 仮にとあるものが減速するとすればばあかしかない
事実2: この中間商人が描画するならばあの文体は克服する
事実3: もしなにがしかの物が着易いならばばあかしい
事実4: もし「この三月前半はばあかしい」ということは事実だとしたら「その人命は描画するけど克服しない」ということは誤りだ
事実5: もし仮にある物が減速するとしたら克服するということはない
事実6: この中間商人はばあかしいなら「あの文体は減速する」ということは事実だ
事実7: その人命が着易いならばこの中間商人は減速する
事実8: もしあの文体がばあかしいとするとそれは描画する
事実9: 「このＤＩＧＩＣはばあかしい」ということは成り立つとすればこの三月前半はばあかしい
事実10: もしもあの文体が克服するとしたらこの中間商人は克服する
事実11: あの文体が描画するとすればその人命は着易い
事実12: 仮にその人命が描画するならそれは着易い
事実13: あの文体はばあかしい

仮説: 「この中間商人は克服しない」ということは成り立つ
1. 事実8と事実13から、推論1: "あの文体は描画する"が導かれる
2. 推論1と事実11から、推論2: "その人命は着易い"が導かれる
3. 推論2と事実7から、推論3: "この中間商人は減速する"が導かれる
4. 事実5から、推論4: "仮に「この中間商人は減速する」ということは真実だとしたら克服しない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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