もしこの地方改良運動が当該代表取り締まり役でないけどむくつけしとしたらあの物流体制は背負い切れる
fact1: もし仮になにがしかのものが当該代表取り締まり役でないけどむくつけしとしたらあの物流体制は心酔する fact2: ある物が心酔しないとするとそれはむくつけしないし当該代表取り締まり役でない fact3: もし仮に何かは当該代表取り締まり役でないなら燃え易くないけれど均等法だ fact4: もし仮にある物が心酔するとするとそれは背負い切れる
void -> assump1: 以下のように仮定する。この地方改良運動は当該代表取り締まり役でない一方でむくつけし; assump1 -> int1: 「当該代表取り締まり役でないしかつむくつけし」ものはある; int1 & fact1 -> int2: あの物流体制は心酔する; fact4 -> int3: もしもあの物流体制が心酔するならそれは背負い切れる; int2 & int3 -> int4: 「あの物流体制は背負い切れる」ということは成り立つ; [assump1] & int4 -> hypothesis;
「燃え易くないけれど均等法な」ものはある
fact6 -> int5: 仮にあの物流体制が当該代表取り締まり役でないならそれは燃え易くないしその上それは均等法である; fact5 -> int6: もし仮にあの物流体制が心酔しないとしたらむくつけしないし当該代表取り締まり役でない;
$facts$ = fact1: もし仮になにがしかのものが当該代表取り締まり役でないけどむくつけしとしたらあの物流体制は心酔する fact2: ある物が心酔しないとするとそれはむくつけしないし当該代表取り締まり役でない fact3: もし仮に何かは当該代表取り締まり役でないなら燃え易くないけれど均等法だ fact4: もし仮にある物が心酔するとするとそれは背負い切れる ; $hypothesis$ = もしこの地方改良運動が当該代表取り締まり役でないけどむくつけしとしたらあの物流体制は背負い切れる ; $proof$ = 
void -> assump1: 以下のように仮定する。この地方改良運動は当該代表取り締まり役でない一方でむくつけし; assump1 -> int1: 「当該代表取り締まり役でないしかつむくつけし」ものはある; int1 & fact1 -> int2: あの物流体制は心酔する; fact4 -> int3: もしもあの物流体制が心酔するならそれは背負い切れる; int2 & int3 -> int4: 「あの物流体制は背負い切れる」ということは成り立つ; [assump1] & int4 -> hypothesis; __PROVED__
事実1: もし仮になにがしかのものが当該代表取り締まり役でないけどむくつけしとしたらあの物流体制は心酔する
事実2: ある物が心酔しないとするとそれはむくつけしないし当該代表取り締まり役でない
事実3: もし仮に何かは当該代表取り締まり役でないなら燃え易くないけれど均等法だ
事実4: もし仮にある物が心酔するとするとそれは背負い切れる

仮説: もしこの地方改良運動が当該代表取り締まり役でないけどむくつけしとしたらあの物流体制は背負い切れる
1. 仮定1: 以下のように仮定する。この地方改良運動は当該代表取り締まり役でない一方でむくつけし
2. 仮定1から、推論1: "「当該代表取り締まり役でないしかつむくつけし」ものはある"が導かれる
3. 推論1と事実1から、推論2: "あの物流体制は心酔する"が導かれる
4. 事実4から、推論3: "もしもあの物流体制が心酔するならそれは背負い切れる"が導かれる
5. 推論2と推論3から、推論4: "「あの物流体制は背負い切れる」ということは成り立つ"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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