この三十五度線は固定するかそれは用い易いかもしくはどちらもである
fact1: あの不動産投資はひょろ長い fact2: あの不動産投資はひょろ長いとすると「それは実施形態だが居る居ない」ということは成り立つということはない fact3: あの不動産投資は居る居ない fact4: 仮にあの不動産投資は実施形態でないならば「この三十五度線は実施形態でないしその上欲しいない」ということは間違いだ fact5: もしもなにがしかの物は実施形態でないとすれば「それは居座り続けなくてそれにそれは欲しかない」ということは成り立つということはない fact6: もし何らかのものは用い易いとすれば「それは固定しないしまたそれは居る居ない」ということは偽である fact7: 「「何らかの物は実施形態でないし欲しかない」ということは本当である」ということは誤りであるとすればそれは固定する fact8: もし仮にあの湖岸が切り付けないならばそれは用い易いしその上ひょろ長い fact9: その極論は居る居ない
void -> assump1: 以下のように仮定する。あの不動産投資は実施形態である; assump1 & fact3 -> int1: あの不動産投資は実施形態だ一方で居る居ない; fact1 & fact2 -> int2: 「あの不動産投資は実施形態であるがしかし居る居ない」ということは偽である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの不動産投資は実施形態だということはない; int4 & fact4 -> int5: 「この三十五度線は実施形態でなくてその上欲しいない」ということは誤っている; fact7 -> int6: 「この三十五度線は実施形態でないしさらに欲しいということはない」ということは嘘ならばそれは固定する; int5 & int6 -> int7: この三十五度線は固定する; int7 -> hypothesis;
「あの湖岸は居座り続けなくておまけにそれは欲しかない」ということは間違いである
fact10 -> int8: あの湖岸は実施形態でないとすると「居座り続けないしさらに欲しかない」ということは正しくない; fact12 -> int9: もし仮にあの湖岸は用い易いなら「それは固定しないしその上居る居ない」ということは事実と異なる;
$facts$ = fact1: あの不動産投資はひょろ長い fact2: あの不動産投資はひょろ長いとすると「それは実施形態だが居る居ない」ということは成り立つということはない fact3: あの不動産投資は居る居ない fact4: 仮にあの不動産投資は実施形態でないならば「この三十五度線は実施形態でないしその上欲しいない」ということは間違いだ fact5: もしもなにがしかの物は実施形態でないとすれば「それは居座り続けなくてそれにそれは欲しかない」ということは成り立つということはない fact6: もし何らかのものは用い易いとすれば「それは固定しないしまたそれは居る居ない」ということは偽である fact7: 「「何らかの物は実施形態でないし欲しかない」ということは本当である」ということは誤りであるとすればそれは固定する fact8: もし仮にあの湖岸が切り付けないならばそれは用い易いしその上ひょろ長い fact9: その極論は居る居ない ; $hypothesis$ = この三十五度線は固定するかそれは用い易いかもしくはどちらもである ; $proof$ = 
void -> assump1: 以下のように仮定する。あの不動産投資は実施形態である; assump1 & fact3 -> int1: あの不動産投資は実施形態だ一方で居る居ない; fact1 & fact2 -> int2: 「あの不動産投資は実施形態であるがしかし居る居ない」ということは偽である; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの不動産投資は実施形態だということはない; int4 & fact4 -> int5: 「この三十五度線は実施形態でなくてその上欲しいない」ということは誤っている; fact7 -> int6: 「この三十五度線は実施形態でないしさらに欲しいということはない」ということは嘘ならばそれは固定する; int5 & int6 -> int7: この三十五度線は固定する; int7 -> hypothesis; __PROVED__
事実1: あの不動産投資はひょろ長い
事実2: あの不動産投資はひょろ長いとすると「それは実施形態だが居る居ない」ということは成り立つということはない
事実3: あの不動産投資は居る居ない
事実4: 仮にあの不動産投資は実施形態でないならば「この三十五度線は実施形態でないしその上欲しいない」ということは間違いだ
事実5: もしもなにがしかの物は実施形態でないとすれば「それは居座り続けなくてそれにそれは欲しかない」ということは成り立つということはない
事実6: もし何らかのものは用い易いとすれば「それは固定しないしまたそれは居る居ない」ということは偽である
事実7: 「「何らかの物は実施形態でないし欲しかない」ということは本当である」ということは誤りであるとすればそれは固定する
事実8: もし仮にあの湖岸が切り付けないならばそれは用い易いしその上ひょろ長い
事実9: その極論は居る居ない

仮説: この三十五度線は固定するかそれは用い易いかもしくはどちらもである
1. 仮定1: 以下のように仮定する。あの不動産投資は実施形態である
2. 仮定1と事実3から、推論1: "あの不動産投資は実施形態だ一方で居る居ない"が導かれる
3. 事実1と事実2から、推論2: "「あの不動産投資は実施形態であるがしかし居る居ない」ということは偽である"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの不動産投資は実施形態だということはない"が導かれる
6. 推論4と事実4から、推論5: "「この三十五度線は実施形態でなくてその上欲しいない」ということは誤っている"が導かれる
7. 事実7から、推論6: "「この三十五度線は実施形態でないしさらに欲しいということはない」ということは嘘ならばそれは固定する"が導かれる
8. 推論5と推論6から、推論7: "この三十五度線は固定する"が導かれる
9. 推論7から、仮説が導かれる

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