「なにがしかの物は取捨選択でない」ということは成り立たない
fact1: あの七つ小屋山は有用であるとすると「あの接触部は間近くないしそれは共同主観的構造でない」ということは間違いである fact2: 「あの接触部は間近くないがしかし共同主観的構造だ」ということは成り立つということはない fact3: 「取捨選択である」物はある fact4: 仮に「何らかのものは間近くなくて共同主観的構造でない」ということは偽ならばよだたない fact5: 「あの接触部は有用であるということはない」ということは事実だ fact6: もし仮にあの七つ小屋山はすりゃ良いとしたら「それは有用だ」ということは成り立つ fact7: もしも「この襷掛けは恐れ多いししかも縞状だ」ということは成り立たないとしたらその高級機は取捨選択でない fact8: その高級機は仮止めである fact9: 仮にあの接触部は仮止めでないとするとしても良い fact10: あの接触部はしても良い fact11: もしもあの七つ小屋山はすりゃ良くないなら「この襷掛けは恐れ多いし加えて縞状だ」ということは成り立たない fact12: もし仮になにがしかの物は仮止めでないならそれはしても良くてよだつ fact13: 仮にあの接触部は共同主観的構造であるとするとそれはよだつということはない fact14: もしもあるものは共同主観的構造であるとしたらそれはよだたない fact15: 仮にこの襷掛けが恐れ多くないとしたらその高級機は取捨選択であるということはない fact16: あの接触部は仮止めであるということはない fact17: 「あの接触部は漂い続けなくておまけに年月日でない」ということは事実と異なる
void -> assump1: 以下のように仮定する。あの七つ小屋山はすりゃ良い; fact6 & assump1 -> int1: 「あの七つ小屋山は有用だ」ということは成り立つ; int1 & fact1 -> int2: 「あの接触部は間近くないしまた共同主観的構造でない」ということは誤りである; fact4 -> int3: もし仮に「あの接触部は間近くないしまたそれは共同主観的構造でない」ということは成り立たないとすればそれはよだたない; int2 & int3 -> int4: あの接触部はよだたない; fact12 -> int5: もし仮にあの接触部が仮止めでないならしても良くてそれはよだつ; int5 & fact16 -> int6: あの接触部はしても良くて加えてそれはよだつ; int6 -> int7: 「あの接触部はよだつ」ということは本当である; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの七つ小屋山はすりゃ良くない; int9 & fact11 -> int10: 「この襷掛けは恐れ多いしその上縞状である」ということは事実と異なる; int10 & fact7 -> int11: その高級機は取捨選択でない; int11 -> hypothesis;
$facts$ = fact1: あの七つ小屋山は有用であるとすると「あの接触部は間近くないしそれは共同主観的構造でない」ということは間違いである fact2: 「あの接触部は間近くないがしかし共同主観的構造だ」ということは成り立つということはない fact3: 「取捨選択である」物はある fact4: 仮に「何らかのものは間近くなくて共同主観的構造でない」ということは偽ならばよだたない fact5: 「あの接触部は有用であるということはない」ということは事実だ fact6: もし仮にあの七つ小屋山はすりゃ良いとしたら「それは有用だ」ということは成り立つ fact7: もしも「この襷掛けは恐れ多いししかも縞状だ」ということは成り立たないとしたらその高級機は取捨選択でない fact8: その高級機は仮止めである fact9: 仮にあの接触部は仮止めでないとするとしても良い fact10: あの接触部はしても良い fact11: もしもあの七つ小屋山はすりゃ良くないなら「この襷掛けは恐れ多いし加えて縞状だ」ということは成り立たない fact12: もし仮になにがしかの物は仮止めでないならそれはしても良くてよだつ fact13: 仮にあの接触部は共同主観的構造であるとするとそれはよだつということはない fact14: もしもあるものは共同主観的構造であるとしたらそれはよだたない fact15: 仮にこの襷掛けが恐れ多くないとしたらその高級機は取捨選択であるということはない fact16: あの接触部は仮止めであるということはない fact17: 「あの接触部は漂い続けなくておまけに年月日でない」ということは事実と異なる ; $hypothesis$ = 「なにがしかの物は取捨選択でない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの七つ小屋山はすりゃ良い; fact6 & assump1 -> int1: 「あの七つ小屋山は有用だ」ということは成り立つ; int1 & fact1 -> int2: 「あの接触部は間近くないしまた共同主観的構造でない」ということは誤りである; fact4 -> int3: もし仮に「あの接触部は間近くないしまたそれは共同主観的構造でない」ということは成り立たないとすればそれはよだたない; int2 & int3 -> int4: あの接触部はよだたない; fact12 -> int5: もし仮にあの接触部が仮止めでないならしても良くてそれはよだつ; int5 & fact16 -> int6: あの接触部はしても良くて加えてそれはよだつ; int6 -> int7: 「あの接触部はよだつ」ということは本当である; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの七つ小屋山はすりゃ良くない; int9 & fact11 -> int10: 「この襷掛けは恐れ多いしその上縞状である」ということは事実と異なる; int10 & fact7 -> int11: その高級機は取捨選択でない; int11 -> hypothesis; __DISPROVED__
事実1: あの七つ小屋山は有用であるとすると「あの接触部は間近くないしそれは共同主観的構造でない」ということは間違いである
事実2: 「あの接触部は間近くないがしかし共同主観的構造だ」ということは成り立つということはない
事実3: 「取捨選択である」物はある
事実4: 仮に「何らかのものは間近くなくて共同主観的構造でない」ということは偽ならばよだたない
事実5: 「あの接触部は有用であるということはない」ということは事実だ
事実6: もし仮にあの七つ小屋山はすりゃ良いとしたら「それは有用だ」ということは成り立つ
事実7: もしも「この襷掛けは恐れ多いししかも縞状だ」ということは成り立たないとしたらその高級機は取捨選択でない
事実8: その高級機は仮止めである
事実9: 仮にあの接触部は仮止めでないとするとしても良い
事実10: あの接触部はしても良い
事実11: もしもあの七つ小屋山はすりゃ良くないなら「この襷掛けは恐れ多いし加えて縞状だ」ということは成り立たない
事実12: もし仮になにがしかの物は仮止めでないならそれはしても良くてよだつ
事実13: 仮にあの接触部は共同主観的構造であるとするとそれはよだつということはない
事実14: もしもあるものは共同主観的構造であるとしたらそれはよだたない
事実15: 仮にこの襷掛けが恐れ多くないとしたらその高級機は取捨選択であるということはない
事実16: あの接触部は仮止めであるということはない
事実17: 「あの接触部は漂い続けなくておまけに年月日でない」ということは事実と異なる

仮説: 「なにがしかの物は取捨選択でない」ということは成り立たない
1. 仮定1: 以下のように仮定する。あの七つ小屋山はすりゃ良い
2. 事実6と仮定1から、推論1: "「あの七つ小屋山は有用だ」ということは成り立つ"が導かれる
3. 推論1と事実1から、推論2: "「あの接触部は間近くないしまた共同主観的構造でない」ということは誤りである"が導かれる
4. 事実4から、推論3: "もし仮に「あの接触部は間近くないしまたそれは共同主観的構造でない」ということは成り立たないとすればそれはよだたない"が導かれる
5. 推論2と推論3から、推論4: "あの接触部はよだたない"が導かれる
6. 事実12から、推論5: "もし仮にあの接触部が仮止めでないならしても良くてそれはよだつ"が導かれる
7. 推論5と事実16から、推論6: "あの接触部はしても良くて加えてそれはよだつ"が導かれる
8. 推論6から、推論7: "「あの接触部はよだつ」ということは本当である"が導かれる
9. 推論4と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "あの七つ小屋山はすりゃ良くない"が導かれる
11. 推論9と事実11から、推論10: "「この襷掛けは恐れ多いしその上縞状である」ということは事実と異なる"が導かれる
12. 推論10と事実7から、推論11: "その高級機は取捨選択でない"が導かれる
13. 推論11から、仮説が否定される

よって、仮説が否定されました。