その内向は下降しないししかも編曲するということはない
fact1: もしなんらかのものは押し付けるとすれば「それは下降しないし編曲しない」ということは間違いである fact2: 仮にあのいけメンは押し付けないとすると「その御水取りは熱し易くないし押し付けるということはない」ということは成り立たない fact3: もし「「あの延命地蔵は天秤町であるが精神的価値でない」ということは成り立たない」ということは成り立つとするとその御水取りは精神的価値でない fact4: もし仮にあのいけメンが押し付けないし精神的価値でないならその内向は押し付ける fact5: 「その御水取りは熱し易いけれどそれは押し付けない」ということは誤っている fact6: 「あの延命地蔵は天秤町だしかつ精神的価値である」ということは成り立たない fact7: その御水取りは熱し易くない fact8: 「編曲しない」ものがあるならばあの内向は編曲しない fact9: 仮にその内向は下降するとすると「あのいけメンは丸っこくないがしかしそれは丸い」ということは誤っている fact10: もし仮にあの延命地蔵が精神的価値であるとしたらその御水取りは精神的価値でない fact11: もしも「あの延命地蔵は集中出来ないが天秤町である」ということは成り立たないならばその御水取りは熱し易くない fact12: 「「暑くてそれに編曲する」ということは成り立たない」ものはある fact13: なにがしかのものが精神的価値だということはないならば熱し易くないししかも押し付けない fact14: あのいけメンは押し付けないなら「その御水取りは熱し易い一方で押し付けない」ということは成り立たない fact15: その御水取りが精神的価値だということはないとするとそれは熱し易くない fact16: 「「暑いということはないしその上編曲する」ということは偽な」ものはある fact17: 「あのいけメンは丸っこくないがしかし丸い」ということは事実と異なるなら「押し付けるということはない」ということは本当である fact18: 「あの延命地蔵は天秤町であるがしかし精神的価値でない」ということは誤っている fact19: 仮にあのいけメンが丸くないとしたら押し付けない fact20: もしとある物は精神的価値でないとすると熱し易いということはない fact21: 「暑くないがしかし編曲する」ものはある fact22: 仮に「「暑くないが編曲する」ということは成り立つということはない」ものがあるならその内向は編曲しない
void -> assump1: 以下のように仮定する。その内向は下降する; fact9 & assump1 -> int1: 「あのいけメンは丸っこくないけど丸い」ということは誤っている; int1 & fact17 -> int2: あのいけメンは押し付けるということはない; int2 & fact2 -> int3: 「その御水取りは熱し易いということはなくてそれは押し付けるということはない」ということは成り立たない; fact3 & fact18 -> int4: 「その御水取りは精神的価値でない」ということは本当である; fact13 -> int5: 仮にその御水取りが精神的価値でないとすればそれは熱し易くないしかつ押し付けない; int4 & int5 -> int6: その御水取りは熱し易くないしそれは押し付けない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その内向は下降しない; fact22 & fact16 -> int9: その内向は編曲しない; int8 & int9 -> hypothesis;
「その内向は下降しないしかつそれは編曲しない」ということは嘘である
fact23 -> int10: もし仮に「その内向は押し付ける」ということは確かであるとすると「それは下降しないしさらに編曲するということはない」ということは誤っている;
$facts$ = fact1: もしなんらかのものは押し付けるとすれば「それは下降しないし編曲しない」ということは間違いである fact2: 仮にあのいけメンは押し付けないとすると「その御水取りは熱し易くないし押し付けるということはない」ということは成り立たない fact3: もし「「あの延命地蔵は天秤町であるが精神的価値でない」ということは成り立たない」ということは成り立つとするとその御水取りは精神的価値でない fact4: もし仮にあのいけメンが押し付けないし精神的価値でないならその内向は押し付ける fact5: 「その御水取りは熱し易いけれどそれは押し付けない」ということは誤っている fact6: 「あの延命地蔵は天秤町だしかつ精神的価値である」ということは成り立たない fact7: その御水取りは熱し易くない fact8: 「編曲しない」ものがあるならばあの内向は編曲しない fact9: 仮にその内向は下降するとすると「あのいけメンは丸っこくないがしかしそれは丸い」ということは誤っている fact10: もし仮にあの延命地蔵が精神的価値であるとしたらその御水取りは精神的価値でない fact11: もしも「あの延命地蔵は集中出来ないが天秤町である」ということは成り立たないならばその御水取りは熱し易くない fact12: 「「暑くてそれに編曲する」ということは成り立たない」ものはある fact13: なにがしかのものが精神的価値だということはないならば熱し易くないししかも押し付けない fact14: あのいけメンは押し付けないなら「その御水取りは熱し易い一方で押し付けない」ということは成り立たない fact15: その御水取りが精神的価値だということはないとするとそれは熱し易くない fact16: 「「暑いということはないしその上編曲する」ということは偽な」ものはある fact17: 「あのいけメンは丸っこくないがしかし丸い」ということは事実と異なるなら「押し付けるということはない」ということは本当である fact18: 「あの延命地蔵は天秤町であるがしかし精神的価値でない」ということは誤っている fact19: 仮にあのいけメンが丸くないとしたら押し付けない fact20: もしとある物は精神的価値でないとすると熱し易いということはない fact21: 「暑くないがしかし編曲する」ものはある fact22: 仮に「「暑くないが編曲する」ということは成り立つということはない」ものがあるならその内向は編曲しない ; $hypothesis$ = その内向は下降しないししかも編曲するということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。その内向は下降する; fact9 & assump1 -> int1: 「あのいけメンは丸っこくないけど丸い」ということは誤っている; int1 & fact17 -> int2: あのいけメンは押し付けるということはない; int2 & fact2 -> int3: 「その御水取りは熱し易いということはなくてそれは押し付けるということはない」ということは成り立たない; fact3 & fact18 -> int4: 「その御水取りは精神的価値でない」ということは本当である; fact13 -> int5: 仮にその御水取りが精神的価値でないとすればそれは熱し易くないしかつ押し付けない; int4 & int5 -> int6: その御水取りは熱し易くないしそれは押し付けない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その内向は下降しない; fact22 & fact16 -> int9: その内向は編曲しない; int8 & int9 -> hypothesis; __PROVED__
事実1: もしなんらかのものは押し付けるとすれば「それは下降しないし編曲しない」ということは間違いである
事実2: 仮にあのいけメンは押し付けないとすると「その御水取りは熱し易くないし押し付けるということはない」ということは成り立たない
事実3: もし「「あの延命地蔵は天秤町であるが精神的価値でない」ということは成り立たない」ということは成り立つとするとその御水取りは精神的価値でない
事実4: もし仮にあのいけメンが押し付けないし精神的価値でないならその内向は押し付ける
事実5: 「その御水取りは熱し易いけれどそれは押し付けない」ということは誤っている
事実6: 「あの延命地蔵は天秤町だしかつ精神的価値である」ということは成り立たない
事実7: その御水取りは熱し易くない
事実8: 「編曲しない」ものがあるならばあの内向は編曲しない
事実9: 仮にその内向は下降するとすると「あのいけメンは丸っこくないがしかしそれは丸い」ということは誤っている
事実10: もし仮にあの延命地蔵が精神的価値であるとしたらその御水取りは精神的価値でない
事実11: もしも「あの延命地蔵は集中出来ないが天秤町である」ということは成り立たないならばその御水取りは熱し易くない
事実12: 「「暑くてそれに編曲する」ということは成り立たない」ものはある
事実13: なにがしかのものが精神的価値だということはないならば熱し易くないししかも押し付けない
事実14: あのいけメンは押し付けないなら「その御水取りは熱し易い一方で押し付けない」ということは成り立たない
事実15: その御水取りが精神的価値だということはないとするとそれは熱し易くない
事実16: 「「暑いということはないしその上編曲する」ということは偽な」ものはある
事実17: 「あのいけメンは丸っこくないがしかし丸い」ということは事実と異なるなら「押し付けるということはない」ということは本当である
事実18: 「あの延命地蔵は天秤町であるがしかし精神的価値でない」ということは誤っている
事実19: 仮にあのいけメンが丸くないとしたら押し付けない
事実20: もしとある物は精神的価値でないとすると熱し易いということはない
事実21: 「暑くないがしかし編曲する」ものはある
事実22: 仮に「「暑くないが編曲する」ということは成り立つということはない」ものがあるならその内向は編曲しない

仮説: その内向は下降しないししかも編曲するということはない
1. 仮定1: 以下のように仮定する。その内向は下降する
2. 事実9と仮定1から、推論1: "「あのいけメンは丸っこくないけど丸い」ということは誤っている"が導かれる
3. 推論1と事実17から、推論2: "あのいけメンは押し付けるということはない"が導かれる
4. 推論2と事実2から、推論3: "「その御水取りは熱し易いということはなくてそれは押し付けるということはない」ということは成り立たない"が導かれる
5. 事実3と事実18から、推論4: "「その御水取りは精神的価値でない」ということは本当である"が導かれる
6. 事実13から、推論5: "仮にその御水取りが精神的価値でないとすればそれは熱し易くないしかつ押し付けない"が導かれる
7. 推論4と推論5から、推論6: "その御水取りは熱し易くないしそれは押し付けない"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "その内向は下降しない"が導かれる
10. 事実22と事実16から、推論9: "その内向は編曲しない"が導かれる
11. 推論8と推論9から、仮説が導かれる

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