あの業務規程は差し止めるかあるいはストリングスでないかもしくはどちらもである
fact1: 「その長命水は疎ましい」ということは偽でないとすればこの背黄青鸚哥は出題する fact2: あの一時借り入れ金は封緘木簡である fact3: 何かは出題するとしたら「低迷する」ということは本当である fact4: もしこの背黄青鸚哥が差し止めないとしたらあの業務規程は差し止めるかまたはストリングスであるということはないか両方ともだ fact5: 仮に「なんらかの物は疎ましい」ということは成り立つとすると「差し止めるかもしくはストリングスでない」ということは間違いである fact6: この背黄青鸚哥はストリングスでない fact7: もし何かは疎ましくらないかまたはストリングスでないかあるいは両方ともだとすればあの一時借り入れ金は疎ましかない fact8: もしその長命水は疎ましくらないとすると「あの一時借り入れ金は実質化しないかもしくは実行し易いかあるいは両方である」ということは成り立つ fact9: この背黄青鸚哥は過ごし易くておまけに補正出来る fact10: もしもあの業務規程が封緘木簡であるかまたは過ごし易いなら低迷しない fact11: もしもその長命水が低迷するしまた出題するならあの業務規程は低迷しない fact12: 疎ましくらないものは過ごし易いかあるいは低迷するか両方だ fact13: もし仮に「あの一時借り入れ金は封緘木簡である」ということは確かであるならば「実質化しないかあるいは実行し易いかあるいはどちらもだ」ということは間違いだ fact14: もし仮になんらかのものは低迷するしまた過ごし易いならそれは差し止めない
void -> assump1: 以下のように仮定する。その長命水は疎ましかない; fact8 & assump1 -> int1: あの一時借り入れ金は実質化しないか実行し易いかどちらもだ; fact13 & fact2 -> int2: 「あの一時借り入れ金は実質化しないかもしくは実行し易いかもしくは両方である」ということは成り立たない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その長命水は疎ましい; int4 & fact1 -> int5: この背黄青鸚哥は出題する; fact3 -> int6: この背黄青鸚哥が出題すれば低迷する; int5 & int6 -> int7: この背黄青鸚哥は低迷する; fact9 -> int8: 「この背黄青鸚哥は過ごし易い」ということは正しい; int7 & int8 -> int9: この背黄青鸚哥は低迷するししかも過ごし易い; fact14 -> int10: この背黄青鸚哥は低迷するしそれに過ごし易いならばそれは差し止めない; int9 & int10 -> int11: この背黄青鸚哥は差し止めない; int11 & fact4 -> hypothesis;
あの業務規程は低迷しない
fact17 -> int12: もしもあの一時借り入れ金が疎ましいということはないなら過ごし易いかもしくはそれは低迷する; fact18 -> int13: この背黄青鸚哥は疎ましくらないかあるいはストリングスであるということはないかまたはどちらもである; int13 -> int14: 「なにがしかのものは疎ましくらないかあるいはストリングスでない」ということは成り立つ; int14 & fact15 -> int15: あの一時借り入れ金は疎ましいということはない; int12 & int15 -> int16: あの一時借り入れ金は過ごし易いかもしくは低迷する;
$facts$ = fact1: 「その長命水は疎ましい」ということは偽でないとすればこの背黄青鸚哥は出題する fact2: あの一時借り入れ金は封緘木簡である fact3: 何かは出題するとしたら「低迷する」ということは本当である fact4: もしこの背黄青鸚哥が差し止めないとしたらあの業務規程は差し止めるかまたはストリングスであるということはないか両方ともだ fact5: 仮に「なんらかの物は疎ましい」ということは成り立つとすると「差し止めるかもしくはストリングスでない」ということは間違いである fact6: この背黄青鸚哥はストリングスでない fact7: もし何かは疎ましくらないかまたはストリングスでないかあるいは両方ともだとすればあの一時借り入れ金は疎ましかない fact8: もしその長命水は疎ましくらないとすると「あの一時借り入れ金は実質化しないかもしくは実行し易いかあるいは両方である」ということは成り立つ fact9: この背黄青鸚哥は過ごし易くておまけに補正出来る fact10: もしもあの業務規程が封緘木簡であるかまたは過ごし易いなら低迷しない fact11: もしもその長命水が低迷するしまた出題するならあの業務規程は低迷しない fact12: 疎ましくらないものは過ごし易いかあるいは低迷するか両方だ fact13: もし仮に「あの一時借り入れ金は封緘木簡である」ということは確かであるならば「実質化しないかあるいは実行し易いかあるいはどちらもだ」ということは間違いだ fact14: もし仮になんらかのものは低迷するしまた過ごし易いならそれは差し止めない ; $hypothesis$ = あの業務規程は差し止めるかあるいはストリングスでないかもしくはどちらもである ; $proof$ = 
void -> assump1: 以下のように仮定する。その長命水は疎ましかない; fact8 & assump1 -> int1: あの一時借り入れ金は実質化しないか実行し易いかどちらもだ; fact13 & fact2 -> int2: 「あの一時借り入れ金は実質化しないかもしくは実行し易いかもしくは両方である」ということは成り立たない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その長命水は疎ましい; int4 & fact1 -> int5: この背黄青鸚哥は出題する; fact3 -> int6: この背黄青鸚哥が出題すれば低迷する; int5 & int6 -> int7: この背黄青鸚哥は低迷する; fact9 -> int8: 「この背黄青鸚哥は過ごし易い」ということは正しい; int7 & int8 -> int9: この背黄青鸚哥は低迷するししかも過ごし易い; fact14 -> int10: この背黄青鸚哥は低迷するしそれに過ごし易いならばそれは差し止めない; int9 & int10 -> int11: この背黄青鸚哥は差し止めない; int11 & fact4 -> hypothesis; __PROVED__
事実1: 「その長命水は疎ましい」ということは偽でないとすればこの背黄青鸚哥は出題する
事実2: あの一時借り入れ金は封緘木簡である
事実3: 何かは出題するとしたら「低迷する」ということは本当である
事実4: もしこの背黄青鸚哥が差し止めないとしたらあの業務規程は差し止めるかまたはストリングスであるということはないか両方ともだ
事実5: 仮に「なんらかの物は疎ましい」ということは成り立つとすると「差し止めるかもしくはストリングスでない」ということは間違いである
事実6: この背黄青鸚哥はストリングスでない
事実7: もし何かは疎ましくらないかまたはストリングスでないかあるいは両方ともだとすればあの一時借り入れ金は疎ましかない
事実8: もしその長命水は疎ましくらないとすると「あの一時借り入れ金は実質化しないかもしくは実行し易いかあるいは両方である」ということは成り立つ
事実9: この背黄青鸚哥は過ごし易くておまけに補正出来る
事実10: もしもあの業務規程が封緘木簡であるかまたは過ごし易いなら低迷しない
事実11: もしもその長命水が低迷するしまた出題するならあの業務規程は低迷しない
事実12: 疎ましくらないものは過ごし易いかあるいは低迷するか両方だ
事実13: もし仮に「あの一時借り入れ金は封緘木簡である」ということは確かであるならば「実質化しないかあるいは実行し易いかあるいはどちらもだ」ということは間違いだ
事実14: もし仮になんらかのものは低迷するしまた過ごし易いならそれは差し止めない

仮説: あの業務規程は差し止めるかあるいはストリングスでないかもしくはどちらもである
1. 仮定1: 以下のように仮定する。その長命水は疎ましかない
2. 事実8と仮定1から、推論1: "あの一時借り入れ金は実質化しないか実行し易いかどちらもだ"が導かれる
3. 事実13と事実2から、推論2: "「あの一時借り入れ金は実質化しないかもしくは実行し易いかもしくは両方である」ということは成り立たない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その長命水は疎ましい"が導かれる
6. 推論4と事実1から、推論5: "この背黄青鸚哥は出題する"が導かれる
7. 事実3から、推論6: "この背黄青鸚哥が出題すれば低迷する"が導かれる
8. 推論5と推論6から、推論7: "この背黄青鸚哥は低迷する"が導かれる
9. 事実9から、推論8: "「この背黄青鸚哥は過ごし易い」ということは正しい"が導かれる
10. 推論7と推論8から、推論9: "この背黄青鸚哥は低迷するししかも過ごし易い"が導かれる
11. 事実14から、推論10: "この背黄青鸚哥は低迷するしそれに過ごし易いならばそれは差し止めない"が導かれる
12. 推論9と推論10から、推論11: "この背黄青鸚哥は差し止めない"が導かれる
13. 推論11と事実4から、仮説が導かれる

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