その京劇は悲しない
fact1: もしとある物は合しないなら「それは自動車業界だがしかし強引過ぎない」ということは本当である fact2: 「意地悪する」ものがあるとするとその拮抗薬は悲し fact3: 仮に「何かは意地悪するがしかし縁遠くない」ということは事実と異なるとすればそれは間近い fact4: 「その拮抗薬は意地悪するしそれは縁遠い」ということは成り立たない fact5: もしもなにかは自動車業界であるとすると「その拮抗薬は意地悪する一方で縁遠くない」ということは誤りだ fact6: もしも「「縁遠い」ということは成り立つ」ものはあるとすれば「その拮抗薬は間近くて更に放す」ということは事実と異なる fact7: なにがしかのものは自動車業界だ fact8: その拮抗薬はヨーロッパ全域だ fact9: この選り取り緑は自動車業界でない fact10: もしその拮抗薬が間近いとしたらあの晩生は放す fact11: もしも「その京劇は間近い一方で悲しない」ということは誤っていれば「それは放す」ということは確かである fact12: もしもその京劇が知り合いらしくないが強引過ぎるとするとあの晩生は知り合いらしい fact13: もし仮に「自動車業界な」ものはあるとしたら「その拮抗薬は意地悪するしさらにそれは縁遠い」ということは成り立たない fact14: あの晩生は間近い fact15: 仮に「放すかまたは強引過ぎるかあるいは両方ともな」ものがあるとすればあの京劇は悲し fact16: 縁遠いものは間近い fact17: もしもこの選り取り緑が間近くないならばあの晩生は悲ししまた放す
fact3 -> int1: 仮に「その拮抗薬は意地悪するが縁遠くない」ということは偽であるとすると間近い; fact5 & fact7 -> int2: 「「その拮抗薬は意地悪するけれどそれは縁遠いということはない」ということは誤りである」ということは真実だ; int1 & int2 -> int3: その拮抗薬は間近い; int3 & fact10 -> int4: あの晩生は放す; int4 -> int5: あの晩生は放すかまたは強引過ぎるかもしくは両方ともである; int5 -> int6: 何らかのものは放すかもしくは強引過ぎるかあるいはどちらもである; int6 & fact15 -> hypothesis;
あの晩生は放すか知り合いらしいかまたは両方である
fact19 -> int7: あるものは自動車業界でない;
$facts$ = fact1: もしとある物は合しないなら「それは自動車業界だがしかし強引過ぎない」ということは本当である fact2: 「意地悪する」ものがあるとするとその拮抗薬は悲し fact3: 仮に「何かは意地悪するがしかし縁遠くない」ということは事実と異なるとすればそれは間近い fact4: 「その拮抗薬は意地悪するしそれは縁遠い」ということは成り立たない fact5: もしもなにかは自動車業界であるとすると「その拮抗薬は意地悪する一方で縁遠くない」ということは誤りだ fact6: もしも「「縁遠い」ということは成り立つ」ものはあるとすれば「その拮抗薬は間近くて更に放す」ということは事実と異なる fact7: なにがしかのものは自動車業界だ fact8: その拮抗薬はヨーロッパ全域だ fact9: この選り取り緑は自動車業界でない fact10: もしその拮抗薬が間近いとしたらあの晩生は放す fact11: もしも「その京劇は間近い一方で悲しない」ということは誤っていれば「それは放す」ということは確かである fact12: もしもその京劇が知り合いらしくないが強引過ぎるとするとあの晩生は知り合いらしい fact13: もし仮に「自動車業界な」ものはあるとしたら「その拮抗薬は意地悪するしさらにそれは縁遠い」ということは成り立たない fact14: あの晩生は間近い fact15: 仮に「放すかまたは強引過ぎるかあるいは両方ともな」ものがあるとすればあの京劇は悲し fact16: 縁遠いものは間近い fact17: もしもこの選り取り緑が間近くないならばあの晩生は悲ししまた放す ; $hypothesis$ = その京劇は悲しない ; $proof$ = 
fact3 -> int1: 仮に「その拮抗薬は意地悪するが縁遠くない」ということは偽であるとすると間近い; fact5 & fact7 -> int2: 「「その拮抗薬は意地悪するけれどそれは縁遠いということはない」ということは誤りである」ということは真実だ; int1 & int2 -> int3: その拮抗薬は間近い; int3 & fact10 -> int4: あの晩生は放す; int4 -> int5: あの晩生は放すかまたは強引過ぎるかもしくは両方ともである; int5 -> int6: 何らかのものは放すかもしくは強引過ぎるかあるいはどちらもである; int6 & fact15 -> hypothesis; __DISPROVED__
事実1: もしとある物は合しないなら「それは自動車業界だがしかし強引過ぎない」ということは本当である
事実2: 「意地悪する」ものがあるとするとその拮抗薬は悲し
事実3: 仮に「何かは意地悪するがしかし縁遠くない」ということは事実と異なるとすればそれは間近い
事実4: 「その拮抗薬は意地悪するしそれは縁遠い」ということは成り立たない
事実5: もしもなにかは自動車業界であるとすると「その拮抗薬は意地悪する一方で縁遠くない」ということは誤りだ
事実6: もしも「「縁遠い」ということは成り立つ」ものはあるとすれば「その拮抗薬は間近くて更に放す」ということは事実と異なる
事実7: なにがしかのものは自動車業界だ
事実8: その拮抗薬はヨーロッパ全域だ
事実9: この選り取り緑は自動車業界でない
事実10: もしその拮抗薬が間近いとしたらあの晩生は放す
事実11: もしも「その京劇は間近い一方で悲しない」ということは誤っていれば「それは放す」ということは確かである
事実12: もしもその京劇が知り合いらしくないが強引過ぎるとするとあの晩生は知り合いらしい
事実13: もし仮に「自動車業界な」ものはあるとしたら「その拮抗薬は意地悪するしさらにそれは縁遠い」ということは成り立たない
事実14: あの晩生は間近い
事実15: 仮に「放すかまたは強引過ぎるかあるいは両方ともな」ものがあるとすればあの京劇は悲し
事実16: 縁遠いものは間近い
事実17: もしもこの選り取り緑が間近くないならばあの晩生は悲ししまた放す

仮説: その京劇は悲しない
1. 事実3から、推論1: "仮に「その拮抗薬は意地悪するが縁遠くない」ということは偽であるとすると間近い"が導かれる
2. 事実5と事実7から、推論2: "「「その拮抗薬は意地悪するけれどそれは縁遠いということはない」ということは誤りである」ということは真実だ"が導かれる
3. 推論1と推論2から、推論3: "その拮抗薬は間近い"が導かれる
4. 推論3と事実10から、推論4: "あの晩生は放す"が導かれる
5. 推論4から、推論5: "あの晩生は放すかまたは強引過ぎるかもしくは両方ともである"が導かれる
6. 推論5から、推論6: "何らかのものは放すかもしくは強引過ぎるかあるいはどちらもである"が導かれる
7. 推論6と事実15から、仮説が否定される

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