あの内部創設暖簾は保ち易い
fact1: 仮に「「この石榴酢は本当らしくない一方で帰着する」ということは成り立つ」ということは成り立たないならばその軽量は手玉だ fact2: その軽量は機械力で最大だ fact3: もしも何らかのものは新しいなら「それは機械力でないし加えてそれは最大だということはない」ということは間違っている fact4: この石榴酢は本当らしい fact5: この石榴酢が手玉だということはないとするとあの内部創設暖簾は帰着しないがしかし本当らしい fact6: 仮になんらかの物は帰着しないが本当らしいなら保ち易くない fact7: この石榴酢は見極め難い fact8: もしも何らかの物が保ち易くないならば帰着するしそれは本当らしい fact9: もしも機械力が手玉であるならばあの内部創設暖簾は保ち易い fact10: このセンセーションは保ち易い fact11: その軽量は最大である fact12: もしあるものが帰着するしおまけに本当らしいとすればかわゆくない fact13: 仮にこの石榴酢が帰着しないとするとその軽量は手玉だ
void -> assump1: 以下のように仮定する。「この石榴酢は本当らしくないけど帰着する」ということは成り立つ; assump1 -> int1: この石榴酢は本当らしくない; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この石榴酢は本当らしくないけれど帰着する」ということは誤りだ; int3 & fact1 -> int4: その軽量は手玉だ; fact2 -> int5: その軽量は機械力である; int4 & int5 -> int6: その軽量は機械力であるし手玉だ; int6 -> int7: 何かは機械力だしそれにそれは手玉だ; int7 & fact9 -> hypothesis;
「あの内部創設暖簾は保ち易くない」ということは成り立つ
fact15 -> int8: 仮にあの内部創設暖簾は帰着しないけれど本当らしいとすると「それは保ち易くない」ということは本当だ; fact16 -> int9: もしもこの石榴酢は新しいならば「機械力でなくてかつ最大でない」ということは偽だ;
$facts$ = fact1: 仮に「「この石榴酢は本当らしくない一方で帰着する」ということは成り立つ」ということは成り立たないならばその軽量は手玉だ fact2: その軽量は機械力で最大だ fact3: もしも何らかのものは新しいなら「それは機械力でないし加えてそれは最大だということはない」ということは間違っている fact4: この石榴酢は本当らしい fact5: この石榴酢が手玉だということはないとするとあの内部創設暖簾は帰着しないがしかし本当らしい fact6: 仮になんらかの物は帰着しないが本当らしいなら保ち易くない fact7: この石榴酢は見極め難い fact8: もしも何らかの物が保ち易くないならば帰着するしそれは本当らしい fact9: もしも機械力が手玉であるならばあの内部創設暖簾は保ち易い fact10: このセンセーションは保ち易い fact11: その軽量は最大である fact12: もしあるものが帰着するしおまけに本当らしいとすればかわゆくない fact13: 仮にこの石榴酢が帰着しないとするとその軽量は手玉だ ; $hypothesis$ = あの内部創設暖簾は保ち易い ; $proof$ = 
void -> assump1: 以下のように仮定する。「この石榴酢は本当らしくないけど帰着する」ということは成り立つ; assump1 -> int1: この石榴酢は本当らしくない; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この石榴酢は本当らしくないけれど帰着する」ということは誤りだ; int3 & fact1 -> int4: その軽量は手玉だ; fact2 -> int5: その軽量は機械力である; int4 & int5 -> int6: その軽量は機械力であるし手玉だ; int6 -> int7: 何かは機械力だしそれにそれは手玉だ; int7 & fact9 -> hypothesis; __PROVED__
事実1: 仮に「「この石榴酢は本当らしくない一方で帰着する」ということは成り立つ」ということは成り立たないならばその軽量は手玉だ
事実2: その軽量は機械力で最大だ
事実3: もしも何らかのものは新しいなら「それは機械力でないし加えてそれは最大だということはない」ということは間違っている
事実4: この石榴酢は本当らしい
事実5: この石榴酢が手玉だということはないとするとあの内部創設暖簾は帰着しないがしかし本当らしい
事実6: 仮になんらかの物は帰着しないが本当らしいなら保ち易くない
事実7: この石榴酢は見極め難い
事実8: もしも何らかの物が保ち易くないならば帰着するしそれは本当らしい
事実9: もしも機械力が手玉であるならばあの内部創設暖簾は保ち易い
事実10: このセンセーションは保ち易い
事実11: その軽量は最大である
事実12: もしあるものが帰着するしおまけに本当らしいとすればかわゆくない
事実13: 仮にこの石榴酢が帰着しないとするとその軽量は手玉だ

仮説: あの内部創設暖簾は保ち易い
1. 仮定1: 以下のように仮定する。「この石榴酢は本当らしくないけど帰着する」ということは成り立つ
2. 仮定1から、推論1: "この石榴酢は本当らしくない"が導かれる
3. 推論1と事実4から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「この石榴酢は本当らしくないけれど帰着する」ということは誤りだ"が導かれる
5. 推論3と事実1から、推論4: "その軽量は手玉だ"が導かれる
6. 事実2から、推論5: "その軽量は機械力である"が導かれる
7. 推論4と推論5から、推論6: "その軽量は機械力であるし手玉だ"が導かれる
8. 推論6から、推論7: "何かは機械力だしそれにそれは手玉だ"が導かれる
9. 推論7と事実9から、仮説が導かれる

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