そのゴム靴は指数化する
fact1: もし仮に「その駄々っ子は錦旗でないかあるいはそれは熱風だということはないかもしくは両方ともである」ということは真実でないとするとそのゴム靴は奪還する fact2: この契約年数は成し難い fact3: もしも「何らかの物は住民だということはないが成し難い」ということは間違っているとすると指数化しない fact4: もしもこの契約年数は熱風でないならば「その駄々っ子は錦旗でないかもしくは熱風でないかあるいは両方ともである」ということは成り立たない fact5: もしとある物が奪還するとしたらそれは指数化する fact6: もし仮にこの契約年数が熱風でないとしたらその駄々っ子は熱風だ fact7: その駄々っ子はもどかしいということはない fact8: もしもとある物は住民であるということはないならば熱風でない fact9: もしもあの米クラブがもどかしいとすればあの契約年数はもどかしい fact10: もし「その駄々っ子は錦旗でないかまたは熱風であるか両方である」ということは成り立たないならば「そのゴム靴は奪還する」ということは成り立つ fact11: その駄々っ子は熱風だ fact12: 「あの米クラブはもどかしい」ということは事実である fact13: もし仮に「この契約年数は指数化するしさらに成し難い」ということは事実であるとすればこの子供期は指数化しない fact14: 「そのゴム靴は錦旗である」ということは確かである fact15: 仮に成し難い物は住民であるとするとそれはもどかしくない fact16: もしもそのゴム靴が奪還しないとすると熱風だしもどかしい
void -> assump1: 以下のように仮定する。この契約年数は住民だ; fact2 & assump1 -> int1: この契約年数は成し難いし住民だ; fact15 -> int2: 仮にこの契約年数は成し難くて住民ならそれはもどかしいということはない; int1 & int2 -> int3: この契約年数はもどかしくない; fact12 & fact9 -> int4: この契約年数はもどかしい; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この契約年数は住民でない; fact8 -> int7: もしこの契約年数が住民だということはないとするとそれは熱風でない; int6 & int7 -> int8: この契約年数は熱風でない; int8 & fact4 -> int9: 「その駄々っ子は錦旗でないかまたは熱風でない」ということは確かでない; int9 & fact1 -> int10: 「そのゴム靴は奪還する」ということは事実である; fact5 -> int11: もしそのゴム靴が奪還するとするとそれは指数化する; int10 & int11 -> hypothesis;
「そのゴム靴は指数化しない」ということは真実だ
fact18 -> int12: もしも「そのゴム靴は住民でないけど成し難い」ということは事実と異なれば「それは指数化しない」ということは本当である;
$facts$ = fact1: もし仮に「その駄々っ子は錦旗でないかあるいはそれは熱風だということはないかもしくは両方ともである」ということは真実でないとするとそのゴム靴は奪還する fact2: この契約年数は成し難い fact3: もしも「何らかの物は住民だということはないが成し難い」ということは間違っているとすると指数化しない fact4: もしもこの契約年数は熱風でないならば「その駄々っ子は錦旗でないかもしくは熱風でないかあるいは両方ともである」ということは成り立たない fact5: もしとある物が奪還するとしたらそれは指数化する fact6: もし仮にこの契約年数が熱風でないとしたらその駄々っ子は熱風だ fact7: その駄々っ子はもどかしいということはない fact8: もしもとある物は住民であるということはないならば熱風でない fact9: もしもあの米クラブがもどかしいとすればあの契約年数はもどかしい fact10: もし「その駄々っ子は錦旗でないかまたは熱風であるか両方である」ということは成り立たないならば「そのゴム靴は奪還する」ということは成り立つ fact11: その駄々っ子は熱風だ fact12: 「あの米クラブはもどかしい」ということは事実である fact13: もし仮に「この契約年数は指数化するしさらに成し難い」ということは事実であるとすればこの子供期は指数化しない fact14: 「そのゴム靴は錦旗である」ということは確かである fact15: 仮に成し難い物は住民であるとするとそれはもどかしくない fact16: もしもそのゴム靴が奪還しないとすると熱風だしもどかしい ; $hypothesis$ = そのゴム靴は指数化する ; $proof$ = 
void -> assump1: 以下のように仮定する。この契約年数は住民だ; fact2 & assump1 -> int1: この契約年数は成し難いし住民だ; fact15 -> int2: 仮にこの契約年数は成し難くて住民ならそれはもどかしいということはない; int1 & int2 -> int3: この契約年数はもどかしくない; fact12 & fact9 -> int4: この契約年数はもどかしい; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この契約年数は住民でない; fact8 -> int7: もしこの契約年数が住民だということはないとするとそれは熱風でない; int6 & int7 -> int8: この契約年数は熱風でない; int8 & fact4 -> int9: 「その駄々っ子は錦旗でないかまたは熱風でない」ということは確かでない; int9 & fact1 -> int10: 「そのゴム靴は奪還する」ということは事実である; fact5 -> int11: もしそのゴム靴が奪還するとするとそれは指数化する; int10 & int11 -> hypothesis; __PROVED__
事実1: もし仮に「その駄々っ子は錦旗でないかあるいはそれは熱風だということはないかもしくは両方ともである」ということは真実でないとするとそのゴム靴は奪還する
事実2: この契約年数は成し難い
事実3: もしも「何らかの物は住民だということはないが成し難い」ということは間違っているとすると指数化しない
事実4: もしもこの契約年数は熱風でないならば「その駄々っ子は錦旗でないかもしくは熱風でないかあるいは両方ともである」ということは成り立たない
事実5: もしとある物が奪還するとしたらそれは指数化する
事実6: もし仮にこの契約年数が熱風でないとしたらその駄々っ子は熱風だ
事実7: その駄々っ子はもどかしいということはない
事実8: もしもとある物は住民であるということはないならば熱風でない
事実9: もしもあの米クラブがもどかしいとすればあの契約年数はもどかしい
事実10: もし「その駄々っ子は錦旗でないかまたは熱風であるか両方である」ということは成り立たないならば「そのゴム靴は奪還する」ということは成り立つ
事実11: その駄々っ子は熱風だ
事実12: 「あの米クラブはもどかしい」ということは事実である
事実13: もし仮に「この契約年数は指数化するしさらに成し難い」ということは事実であるとすればこの子供期は指数化しない
事実14: 「そのゴム靴は錦旗である」ということは確かである
事実15: 仮に成し難い物は住民であるとするとそれはもどかしくない
事実16: もしもそのゴム靴が奪還しないとすると熱風だしもどかしい

仮説: そのゴム靴は指数化する
1. 仮定1: 以下のように仮定する。この契約年数は住民だ
2. 事実2と仮定1から、推論1: "この契約年数は成し難いし住民だ"が導かれる
3. 事実15から、推論2: "仮にこの契約年数は成し難くて住民ならそれはもどかしいということはない"が導かれる
4. 推論1と推論2から、推論3: "この契約年数はもどかしくない"が導かれる
5. 事実12と事実9から、推論4: "この契約年数はもどかしい"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この契約年数は住民でない"が導かれる
8. 事実8から、推論7: "もしこの契約年数が住民だということはないとするとそれは熱風でない"が導かれる
9. 推論6と推論7から、推論8: "この契約年数は熱風でない"が導かれる
10. 推論8と事実4から、推論9: "「その駄々っ子は錦旗でないかまたは熱風でない」ということは確かでない"が導かれる
11. 推論9と事実1から、推論10: "「そのゴム靴は奪還する」ということは事実である"が導かれる
12. 事実5から、推論11: "もしそのゴム靴が奪還するとするとそれは指数化する"が導かれる
13. 推論10と推論11から、仮説が導かれる

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