その力ずくは踏み出さない
fact1: あの初爻は守らない fact2: あらゆる物は待ち遠しいかもしくはそれは街らしい fact3: 何もかもは街らしいかあるいは観察出来る fact4: もしも「なにがしかのものは踏み出さない一方で街らしい」ということは間違っているとすればそれは踏み出す fact5: この財産目録が待ち遠しいかあるいはそれが街らしいとするとこの数理科学は観察出来ない fact6: 仮にその力ずくは待ち遠しいとしたら「踏み出さなくてかつ街らしい」ということは事実でない fact7: この数理科学が守らないとすればその力ずくは踏み出さない fact8: もしこの数理科学が観察出来ないとすると守らない fact9: この財産目録が街らしいとするとこの数理科学は観察出来ない fact10: 「すべてのものは踏み出すかもしくは街らしいか両方である」ということは本当である
fact2 -> int1: この財産目録は待ち遠しいかまたは街らしいか両方ともである; int1 & fact5 -> int2: この数理科学は観察出来ない; int2 & fact8 -> int3: この数理科学は守らない; int3 & fact7 -> hypothesis;
その力ずくは踏み出す
fact12 -> int4: もしも「その力ずくは踏み出さないけど街らしい」ということは成り立たないならば踏み出す;
$facts$ = fact1: あの初爻は守らない fact2: あらゆる物は待ち遠しいかもしくはそれは街らしい fact3: 何もかもは街らしいかあるいは観察出来る fact4: もしも「なにがしかのものは踏み出さない一方で街らしい」ということは間違っているとすればそれは踏み出す fact5: この財産目録が待ち遠しいかあるいはそれが街らしいとするとこの数理科学は観察出来ない fact6: 仮にその力ずくは待ち遠しいとしたら「踏み出さなくてかつ街らしい」ということは事実でない fact7: この数理科学が守らないとすればその力ずくは踏み出さない fact8: もしこの数理科学が観察出来ないとすると守らない fact9: この財産目録が街らしいとするとこの数理科学は観察出来ない fact10: 「すべてのものは踏み出すかもしくは街らしいか両方である」ということは本当である ; $hypothesis$ = その力ずくは踏み出さない ; $proof$ = 
fact2 -> int1: この財産目録は待ち遠しいかまたは街らしいか両方ともである; int1 & fact5 -> int2: この数理科学は観察出来ない; int2 & fact8 -> int3: この数理科学は守らない; int3 & fact7 -> hypothesis; __PROVED__
事実1: あの初爻は守らない
事実2: あらゆる物は待ち遠しいかもしくはそれは街らしい
事実3: 何もかもは街らしいかあるいは観察出来る
事実4: もしも「なにがしかのものは踏み出さない一方で街らしい」ということは間違っているとすればそれは踏み出す
事実5: この財産目録が待ち遠しいかあるいはそれが街らしいとするとこの数理科学は観察出来ない
事実6: 仮にその力ずくは待ち遠しいとしたら「踏み出さなくてかつ街らしい」ということは事実でない
事実7: この数理科学が守らないとすればその力ずくは踏み出さない
事実8: もしこの数理科学が観察出来ないとすると守らない
事実9: この財産目録が街らしいとするとこの数理科学は観察出来ない
事実10: 「すべてのものは踏み出すかもしくは街らしいか両方である」ということは本当である

仮説: その力ずくは踏み出さない
1. 事実2から、推論1: "この財産目録は待ち遠しいかまたは街らしいか両方ともである"が導かれる
2. 推論1と事実5から、推論2: "この数理科学は観察出来ない"が導かれる
3. 推論2と事実8から、推論3: "この数理科学は守らない"が導かれる
4. 推論3と事実7から、仮説が導かれる

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