「仮にその環境保全効果が等式でないとするとその六箇月以内は他称でない」ということは成り立たない
fact1: 仮にその環境保全効果は低しならば「それは渡せないしそれは柔い」ということは嘘だ fact2: このツー‐与格構文は低しないがしかし傍系親だ fact3: もしもその環境保全効果が偏移しなくてそれが等式でないとすればあの中央機関は自滅する fact4: もしある物が自滅するとすればその六箇月以内は他称でない fact5: 仮にその六箇月以内が柔いということはないしそれに他称だということはないなら「その環境保全効果は等式である」ということは偽でない fact6: 「その六箇月以内は自滅しない」ということは事実である fact7: その掛け持ちは偏移しない fact8: もしもその六箇月以内が偏移しないとしたらその環境保全効果は他称である fact9: その六箇月以内は他称である fact10: その環境保全効果は柔い fact11: その環境保全効果はアクセスし易い fact12: 仮に「その環境保全効果は偏移する」ということは本当であるとすれば柔い fact13: その環境保全効果は低し fact14: その六箇月以内は偏移しない fact15: その六箇月以内は等式でない fact16: その六箇月以内は震え上がる fact17: もしその環境保全効果が他称でないならその六箇月以内は等式でない fact18: もしもその六箇月以内が上げ続けるとすればそれは繋がり易くないけど偏移する fact19: もしもあの中央機関が自滅するとするとそれが偏移しないしさらに他称である fact20: あの中央機関は等式だ fact21: もし仮にその環境保全効果が等式でないならばその六箇月以内は他称だ fact22: もしその環境保全効果が偏移するとすればそれは渡せないがしかし柔い fact23: 仮にその成体神経前駆細胞は勇ましいとしたら「格好良いということはなくてそれは偏移する」ということは成り立たない fact24: もし仮に「他称な」物があるとすればその六箇月以内は自滅しない
void -> assump1: 以下のように仮定する。その環境保全効果は偏移する; fact22 & assump1 -> int1: その環境保全効果は渡せないけどそれは柔い; fact13 & fact1 -> int2: 「「その環境保全効果は渡せるということはないけど柔い」ということは間違いである」ということは正しい; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その環境保全効果は偏移しない; void -> assump2: 以下のように仮定する。その環境保全効果は等式でない; int4 & assump2 -> int5: その環境保全効果は偏移しないし加えて等式だということはない; int5 & fact3 -> int6: あの中央機関は自滅する; int6 -> int7: 「自滅する」物はある; int7 & fact4 -> int8: その六箇月以内は他称でない; [assump2] & int8 -> hypothesis;
$facts$ = fact1: 仮にその環境保全効果は低しならば「それは渡せないしそれは柔い」ということは嘘だ fact2: このツー‐与格構文は低しないがしかし傍系親だ fact3: もしもその環境保全効果が偏移しなくてそれが等式でないとすればあの中央機関は自滅する fact4: もしある物が自滅するとすればその六箇月以内は他称でない fact5: 仮にその六箇月以内が柔いということはないしそれに他称だということはないなら「その環境保全効果は等式である」ということは偽でない fact6: 「その六箇月以内は自滅しない」ということは事実である fact7: その掛け持ちは偏移しない fact8: もしもその六箇月以内が偏移しないとしたらその環境保全効果は他称である fact9: その六箇月以内は他称である fact10: その環境保全効果は柔い fact11: その環境保全効果はアクセスし易い fact12: 仮に「その環境保全効果は偏移する」ということは本当であるとすれば柔い fact13: その環境保全効果は低し fact14: その六箇月以内は偏移しない fact15: その六箇月以内は等式でない fact16: その六箇月以内は震え上がる fact17: もしその環境保全効果が他称でないならその六箇月以内は等式でない fact18: もしもその六箇月以内が上げ続けるとすればそれは繋がり易くないけど偏移する fact19: もしもあの中央機関が自滅するとするとそれが偏移しないしさらに他称である fact20: あの中央機関は等式だ fact21: もし仮にその環境保全効果が等式でないならばその六箇月以内は他称だ fact22: もしその環境保全効果が偏移するとすればそれは渡せないがしかし柔い fact23: 仮にその成体神経前駆細胞は勇ましいとしたら「格好良いということはなくてそれは偏移する」ということは成り立たない fact24: もし仮に「他称な」物があるとすればその六箇月以内は自滅しない ; $hypothesis$ = 「仮にその環境保全効果が等式でないとするとその六箇月以内は他称でない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。その環境保全効果は偏移する; fact22 & assump1 -> int1: その環境保全効果は渡せないけどそれは柔い; fact13 & fact1 -> int2: 「「その環境保全効果は渡せるということはないけど柔い」ということは間違いである」ということは正しい; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その環境保全効果は偏移しない; void -> assump2: 以下のように仮定する。その環境保全効果は等式でない; int4 & assump2 -> int5: その環境保全効果は偏移しないし加えて等式だということはない; int5 & fact3 -> int6: あの中央機関は自滅する; int6 -> int7: 「自滅する」物はある; int7 & fact4 -> int8: その六箇月以内は他称でない; [assump2] & int8 -> hypothesis; __DISPROVED__
事実1: 仮にその環境保全効果は低しならば「それは渡せないしそれは柔い」ということは嘘だ
事実2: このツー‐与格構文は低しないがしかし傍系親だ
事実3: もしもその環境保全効果が偏移しなくてそれが等式でないとすればあの中央機関は自滅する
事実4: もしある物が自滅するとすればその六箇月以内は他称でない
事実5: 仮にその六箇月以内が柔いということはないしそれに他称だということはないなら「その環境保全効果は等式である」ということは偽でない
事実6: 「その六箇月以内は自滅しない」ということは事実である
事実7: その掛け持ちは偏移しない
事実8: もしもその六箇月以内が偏移しないとしたらその環境保全効果は他称である
事実9: その六箇月以内は他称である
事実10: その環境保全効果は柔い
事実11: その環境保全効果はアクセスし易い
事実12: 仮に「その環境保全効果は偏移する」ということは本当であるとすれば柔い
事実13: その環境保全効果は低し
事実14: その六箇月以内は偏移しない
事実15: その六箇月以内は等式でない
事実16: その六箇月以内は震え上がる
事実17: もしその環境保全効果が他称でないならその六箇月以内は等式でない
事実18: もしもその六箇月以内が上げ続けるとすればそれは繋がり易くないけど偏移する
事実19: もしもあの中央機関が自滅するとするとそれが偏移しないしさらに他称である
事実20: あの中央機関は等式だ
事実21: もし仮にその環境保全効果が等式でないならばその六箇月以内は他称だ
事実22: もしその環境保全効果が偏移するとすればそれは渡せないがしかし柔い
事実23: 仮にその成体神経前駆細胞は勇ましいとしたら「格好良いということはなくてそれは偏移する」ということは成り立たない
事実24: もし仮に「他称な」物があるとすればその六箇月以内は自滅しない

仮説: 「仮にその環境保全効果が等式でないとするとその六箇月以内は他称でない」ということは成り立たない
1. 仮定1: 以下のように仮定する。その環境保全効果は偏移する
2. 事実22と仮定1から、推論1: "その環境保全効果は渡せないけどそれは柔い"が導かれる
3. 事実13と事実1から、推論2: "「「その環境保全効果は渡せるということはないけど柔い」ということは間違いである」ということは正しい"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その環境保全効果は偏移しない"が導かれる
6. 仮定2: 以下のように仮定する。その環境保全効果は等式でない
7. 推論4と仮定2から、推論5: "その環境保全効果は偏移しないし加えて等式だということはない"が導かれる
8. 推論5と事実3から、推論6: "あの中央機関は自滅する"が導かれる
9. 推論6から、推論7: "「自滅する」物はある"が導かれる
10. 推論7と事実4から、推論8: "その六箇月以内は他称でない"が導かれる
11. [仮定2]と推論8から、仮説が否定される

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