この年以降はサニーライトでないしかつ逆らえるということはない
fact1: 「その曹洞宗は内訌でない一方で酒臭い」ということは真実だということはない fact2: その製品群Ａ製造工場は聞かさない fact3: パリ大聖堂は酒臭くないかもしくは内訌でないかもしくは両方だ fact4: 仮になにがしかの物は内訌であるとすれば「この年以降は酒臭くない」ということは嘘でない fact5: もしもその曹洞宗は内訌だとしたら「酒臭いし聞かす」ということは真実でない fact6: あの大リーグ野球は生み付けないとすると「この年以降がサニーライトだけどそれは逆らえるということはない」ということは事実と異なる fact7: その曹洞宗はパリ大聖堂でないがしかし聞かす fact8: 「この痙攣性疾患はサニーライトであるということはなくて酒臭いということはない」ということは間違っている fact9: もし仮にその曹洞宗は内訌なら「それはパリ大聖堂でないがしかし聞かす」ということは偽である fact10: もしもあの大リーグ野球は生み付けないなら「この年以降はサニーライトでないし逆らえない」ということは誤りである fact11: もしその曹洞宗は内訌であるならば「酒臭くてサニーライトだ」ということは偽である fact12: 仮に「あの大リーグ野球は生み付けない」ということは成り立つとすると「この年以降はサニーライトでないけれど逆らえる」ということは嘘である fact13: 「その曹洞宗は逆らえないがしかし聞かす」ということは誤っている fact14: もし仮にこの年以降が生み付けるとすればあの大リーグ野球は逆らえる fact15: この痙攣性疾患はパリ大聖堂でない fact16: もしその曹洞宗はサニーライトだとすれば「それは逆らえないがパリ大聖堂だ」ということは成り立たない fact17: 仮にこの痙攣性疾患が酒臭いということはないとしたらあの大リーグ野球は生み付けない fact18: 「あの大リーグ野球は餓鬼っぽいが聞かすということはない」ということは成り立たない fact19: 「その曹洞宗はパリ大聖堂であるし聞かす」ということは偽だ fact20: この年以降は酒臭いということはない fact21: もしもこの痙攣性疾患が酒臭いとしたらその曹洞宗は内訌だ fact22: この痙攣性疾患は聞かさない fact23: もし仮になんらかの物がサニーライトでないならばパリ大聖堂でそれに聞かす
void -> assump1: 以下のように仮定する。この痙攣性疾患は酒臭い; fact21 & assump1 -> int1: 「その曹洞宗は内訌である」ということは正しい; int1 & fact9 -> int2: 「その曹洞宗はパリ大聖堂でないけど聞かす」ということは成り立つということはない; int2 & fact7 -> int3: これは矛盾である; [assump1] & int3 -> int4: この痙攣性疾患は酒臭くない; int4 & fact17 -> int5: あの大リーグ野球は生み付けるということはない; int5 & fact10 -> 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: もし仮になんらかの物がサニーライトでないならばパリ大聖堂でそれに聞かす ; $hypothesis$ = この年以降はサニーライトでないしかつ逆らえるということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。この痙攣性疾患は酒臭い; fact21 & assump1 -> int1: 「その曹洞宗は内訌である」ということは正しい; int1 & fact9 -> int2: 「その曹洞宗はパリ大聖堂でないけど聞かす」ということは成り立つということはない; int2 & fact7 -> int3: これは矛盾である; [assump1] & int3 -> int4: この痙攣性疾患は酒臭くない; int4 & fact17 -> int5: あの大リーグ野球は生み付けるということはない; int5 & fact10 -> 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: もし仮になんらかの物がサニーライトでないならばパリ大聖堂でそれに聞かす

仮説: この年以降はサニーライトでないしかつ逆らえるということはない
1. 仮定1: 以下のように仮定する。この痙攣性疾患は酒臭い
2. 事実21と仮定1から、推論1: "「その曹洞宗は内訌である」ということは正しい"が導かれる
3. 推論1と事実9から、推論2: "「その曹洞宗はパリ大聖堂でないけど聞かす」ということは成り立つということはない"が導かれる
4. 推論2と事実7から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この痙攣性疾患は酒臭くない"が導かれる
6. 推論4と事実17から、推論5: "あの大リーグ野球は生み付けるということはない"が導かれる
7. 推論5と事実10から、仮説が否定される

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