仮にこの先進市場が御忙しいならばあの住宅資金貸し付け債権特別条項は言表であるがしかし命運であるということはない
fact1: その打ち出しは高等専修学校でない fact2: もし「「命運だし儚し」ということは事実と異なる」物はあるとすれば「この先進市場は命運でない」ということは本当だ fact3: もし仮に「「口走らない」ものはある」ということは確かだとすればあの住宅資金貸し付け債権特別条項は御忙しくない fact4: もし「あのバザールは故無くないけれど口走る」ということは嘘だとしたらあの田舎道は口走らない fact5: もし仮に「「公園である」ということは成り立つ」ものはあるとすれば「あのバザールは故無いということはないがしかし口走る」ということは成り立たない fact6: 仮にとあるものは御忙しくないなら「命運であるしかつそれは儚し」ということは成り立たない fact7: もしもとあるものは高等専修学校でないとするとそれは胸腔内圧であるということはないが公園である fact8: もし仮に「あの住宅資金貸し付け債権特別条項は言表であるがしかし命運でない」ということは成り立たないとしたらこの先進市場は御忙しくない
void -> assump1: 以下のように仮定する。「あの住宅資金貸し付け債権特別条項は言表である一方で命運でない」ということは真実でない; fact8 & assump1 -> int1: 「この先進市場は御忙しくない」ということは成り立つ; void -> assump2: 以下のように仮定する。この先進市場は御忙しい; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの住宅資金貸し付け債権特別条項は言表である一方で命運でない; [assump2] & int3 -> hypothesis;
この先進市場は命運でない
fact14 -> int4: 仮にあの住宅資金貸し付け債権特別条項は御忙しくないとすれば「それが命運だし儚し」ということは本当でない; fact13 -> int5: その打ち出しが高等専修学校でないとするとそれは胸腔内圧でなくてそれにそれは公園である; int5 & fact12 -> int6: その打ち出しは胸腔内圧でないけど公園である; int6 -> int7: 「その打ち出しは公園だ」ということは本当だ; int7 -> int8: 「「公園な」ものはある」ということは確かだ; int8 & fact15 -> int9: 「「あのバザールは故無くないけど口走る」ということは成り立つ」ということは間違いである; fact10 & int9 -> int10: 「あの田舎道は口走るということはない」ということは本当である; int10 -> int11: 「口走らない」ものはある; int11 & fact9 -> int12: あの住宅資金貸し付け債権特別条項は御忙しいということはない; int4 & int12 -> int13: 「あの住宅資金貸し付け債権特別条項は命運であるししかも儚し」ということは事実と異なる; int13 -> int14: 「「命運であるし更に儚し」ということは間違っている」物はある; int14 & fact11 -> hypothesis;
$facts$ = fact1: その打ち出しは高等専修学校でない fact2: もし「「命運だし儚し」ということは事実と異なる」物はあるとすれば「この先進市場は命運でない」ということは本当だ fact3: もし仮に「「口走らない」ものはある」ということは確かだとすればあの住宅資金貸し付け債権特別条項は御忙しくない fact4: もし「あのバザールは故無くないけれど口走る」ということは嘘だとしたらあの田舎道は口走らない fact5: もし仮に「「公園である」ということは成り立つ」ものはあるとすれば「あのバザールは故無いということはないがしかし口走る」ということは成り立たない fact6: 仮にとあるものは御忙しくないなら「命運であるしかつそれは儚し」ということは成り立たない fact7: もしもとあるものは高等専修学校でないとするとそれは胸腔内圧であるということはないが公園である fact8: もし仮に「あの住宅資金貸し付け債権特別条項は言表であるがしかし命運でない」ということは成り立たないとしたらこの先進市場は御忙しくない ; $hypothesis$ = 仮にこの先進市場が御忙しいならばあの住宅資金貸し付け債権特別条項は言表であるがしかし命運であるということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの住宅資金貸し付け債権特別条項は言表である一方で命運でない」ということは真実でない; fact8 & assump1 -> int1: 「この先進市場は御忙しくない」ということは成り立つ; void -> assump2: 以下のように仮定する。この先進市場は御忙しい; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの住宅資金貸し付け債権特別条項は言表である一方で命運でない; [assump2] & int3 -> hypothesis; __PROVED__
事実1: その打ち出しは高等専修学校でない
事実2: もし「「命運だし儚し」ということは事実と異なる」物はあるとすれば「この先進市場は命運でない」ということは本当だ
事実3: もし仮に「「口走らない」ものはある」ということは確かだとすればあの住宅資金貸し付け債権特別条項は御忙しくない
事実4: もし「あのバザールは故無くないけれど口走る」ということは嘘だとしたらあの田舎道は口走らない
事実5: もし仮に「「公園である」ということは成り立つ」ものはあるとすれば「あのバザールは故無いということはないがしかし口走る」ということは成り立たない
事実6: 仮にとあるものは御忙しくないなら「命運であるしかつそれは儚し」ということは成り立たない
事実7: もしもとあるものは高等専修学校でないとするとそれは胸腔内圧であるということはないが公園である
事実8: もし仮に「あの住宅資金貸し付け債権特別条項は言表であるがしかし命運でない」ということは成り立たないとしたらこの先進市場は御忙しくない

仮説: 仮にこの先進市場が御忙しいならばあの住宅資金貸し付け債権特別条項は言表であるがしかし命運であるということはない
1. 仮定1: 以下のように仮定する。「あの住宅資金貸し付け債権特別条項は言表である一方で命運でない」ということは真実でない
2. 事実8と仮定1から、推論1: "「この先進市場は御忙しくない」ということは成り立つ"が導かれる
3. 仮定2: 以下のように仮定する。この先進市場は御忙しい
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "あの住宅資金貸し付け債権特別条項は言表である一方で命運でない"が導かれる
6. [仮定2]と推論3から、仮説が導かれる

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