この特殊関係株主等は訟月でなくて初登場しない
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: 以下のように仮定する。この特殊関係株主等は訟月でないし初登場しない; fact17 & assump1 -> int1: 「この国際連合憲章はルーティング出来ない」ということは成り立つ; fact9 & fact5 -> int2: 「この国際連合憲章はルーティング出来る」ということは成り立つ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
この特殊関係株主等は訟月でなくてそれは初登場しない
fact26 -> int4: もし仮に「この交通事情は決め難い」ということは真実だとすれば「それは狡い」ということは正しい; fact28 & fact25 -> int5: この交通事情は専有しないがそれは懊悩だ; fact31 & int5 -> int6: この交通事情は決め難い; int4 & int6 -> int7: この交通事情は狡い; int7 -> int8: この交通事情は観賞するということはないかあるいは狡いか両方ともだ; int8 -> int9: 「観賞しないか狡い」物はある; int9 & fact27 -> int10: そのファストフード店は観賞しない; int10 -> int11: 「観賞しない」ものはある;
$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: 以下のように仮定する。この特殊関係株主等は訟月でないし初登場しない; fact17 & assump1 -> int1: 「この国際連合憲章はルーティング出来ない」ということは成り立つ; fact9 & fact5 -> int2: 「この国際連合憲章はルーティング出来る」ということは成り立つ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> 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. 事実17と仮定1から、推論1: "「この国際連合憲章はルーティング出来ない」ということは成り立つ"が導かれる
3. 事実9と事実5から、推論2: "「この国際連合憲章はルーティング出来る」ということは成り立つ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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