その地酒は低い
fact1: もしもなにかは振り仰がないならば「一覧表示するし低い」ということは成り立たない fact2: もしも「なにかは指し示すし更に馳せる」ということは成り立たないならばそれは一覧表示しない fact3: あの紅姫は低い fact4: もし仮にその地酒は低くないなら「そのリンドは石川忠総止め書でないがしかし共通基盤である」ということは間違っている fact5: もしも「あるものは一覧表示するし加えてそれは低い」ということは偽だとすると低くない fact6: なにがしかの物が一覧表示しないとしたら低くなくてそれは振り仰ぐ fact7: そのリンドは振り仰ぐ fact8: あの子孫繁栄は振り仰ぐ fact9: 仮にそのリンドが振り仰ぐとするとそれは石川忠総止め書だということはないしそれは共通基盤だ fact10: 仮にその地酒は低くないとしたら「「そのリンドは石川忠総止め書であるし共通基盤だ」ということは嘘でない」ということは間違いである fact11: もし仮にそのリンドがミステリーだということはないならその地酒は馳せるかまたは指し示す fact12: 仮にそのリンドが振り仰ぐなら石川忠総止め書だということはない
void -> assump1: 以下のように仮定する。その地酒は低くない; fact4 & assump1 -> int1: 「そのリンドは石川忠総止め書でない一方で共通基盤である」ということは誤っている; fact7 & fact9 -> int2: そのリンドは石川忠総止め書でないけど共通基盤である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
その地酒は低くない
fact15 -> int4: もし仮に「その地酒は一覧表示するし低い」ということは偽ならばそれは低くない; fact14 -> int5: もしもその地酒は振り仰ぐということはないならば「一覧表示するし加えて低い」ということは本当でない;
$facts$ = fact1: もしもなにかは振り仰がないならば「一覧表示するし低い」ということは成り立たない fact2: もしも「なにかは指し示すし更に馳せる」ということは成り立たないならばそれは一覧表示しない fact3: あの紅姫は低い fact4: もし仮にその地酒は低くないなら「そのリンドは石川忠総止め書でないがしかし共通基盤である」ということは間違っている fact5: もしも「あるものは一覧表示するし加えてそれは低い」ということは偽だとすると低くない fact6: なにがしかの物が一覧表示しないとしたら低くなくてそれは振り仰ぐ fact7: そのリンドは振り仰ぐ fact8: あの子孫繁栄は振り仰ぐ fact9: 仮にそのリンドが振り仰ぐとするとそれは石川忠総止め書だということはないしそれは共通基盤だ fact10: 仮にその地酒は低くないとしたら「「そのリンドは石川忠総止め書であるし共通基盤だ」ということは嘘でない」ということは間違いである fact11: もし仮にそのリンドがミステリーだということはないならその地酒は馳せるかまたは指し示す fact12: 仮にそのリンドが振り仰ぐなら石川忠総止め書だということはない ; $hypothesis$ = その地酒は低い ; $proof$ = 
void -> assump1: 以下のように仮定する。その地酒は低くない; fact4 & assump1 -> int1: 「そのリンドは石川忠総止め書でない一方で共通基盤である」ということは誤っている; fact7 & fact9 -> int2: そのリンドは石川忠総止め書でないけど共通基盤である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もしもなにかは振り仰がないならば「一覧表示するし低い」ということは成り立たない
事実2: もしも「なにかは指し示すし更に馳せる」ということは成り立たないならばそれは一覧表示しない
事実3: あの紅姫は低い
事実4: もし仮にその地酒は低くないなら「そのリンドは石川忠総止め書でないがしかし共通基盤である」ということは間違っている
事実5: もしも「あるものは一覧表示するし加えてそれは低い」ということは偽だとすると低くない
事実6: なにがしかの物が一覧表示しないとしたら低くなくてそれは振り仰ぐ
事実7: そのリンドは振り仰ぐ
事実8: あの子孫繁栄は振り仰ぐ
事実9: 仮にそのリンドが振り仰ぐとするとそれは石川忠総止め書だということはないしそれは共通基盤だ
事実10: 仮にその地酒は低くないとしたら「「そのリンドは石川忠総止め書であるし共通基盤だ」ということは嘘でない」ということは間違いである
事実11: もし仮にそのリンドがミステリーだということはないならその地酒は馳せるかまたは指し示す
事実12: 仮にそのリンドが振り仰ぐなら石川忠総止め書だということはない

仮説: その地酒は低い
1. 仮定1: 以下のように仮定する。その地酒は低くない
2. 事実4と仮定1から、推論1: "「そのリンドは石川忠総止め書でない一方で共通基盤である」ということは誤っている"が導かれる
3. 事実7と事実9から、推論2: "そのリンドは石川忠総止め書でないけど共通基盤である"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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