この二重螺旋は夥しくない
fact1: あの疑似体験が牡丹餅でないとすると体現するかあるいは在職しないかまたは両方だ fact2: 仮にこの二重螺旋がＮＰＯ等であるとしたらあの疑似体験は夥しい fact3: あの疑似体験は判断し難い fact4: あの疑似体験は度し難い fact5: 何かは度し難いということはないけれど判断し難い fact6: 仮になにがしかのものが掛け流すということはない一方で訳無いとしたらあの疑似体験は金曜である fact7: あの疑似体験が夥しいならばこの二重螺旋はＮＰＯ等だ fact8: 「度し難い」ものがあればあの疑似体験は度し難いかまたは判断し難いかあるいは両方ともである fact9: 「判断し難くないけど署名済みな」ものがあるとするとあの正規戦は馳走する fact10: もしも気安くなくて加えて汚れ難いものがあるならこの二重螺旋は反駁する fact11: もしなにがしかのものは判断し難くないとしたら「それは夥しくなくて度し難くない」ということは間違いである fact12: ある物は度し難いし判断し難い fact13: 判断し難いものはある fact14: この二重螺旋はＮＰＯ等である fact15: 「度し難くないがしかし判断し難い」物があるとしたらあの疑似体験はＮＰＯ等である fact16: 「何らかの物はＮＰＯ等でないけれど夥しい」ということは成り立つ fact17: この変圧は牡丹餅であるししかも体現する fact18: あの疑似体験がＮＰＯ等ならこの二重螺旋は夥しい fact19: 「度し難くない」ものはある fact20: もしも何らかの物は体現するかあるいは在職するということはないとすれば納付する fact21: もし仮になにがしかのものは体現するとすると「在職しないししかもそれは納付する」ということは誤りである fact22: もしも何かは納付するとしたらそれは判断し難くないし更にＮＰＯ等でない fact23: もしこの変圧がＮＰＯ等であるとするとあの場所等は度し難い
fact5 & fact15 -> int1: あの疑似体験はＮＰＯ等である; int1 & fact18 -> hypothesis;
fact5 & fact15 -> int1: {C}{a}; int1 & fact18 -> hypothesis;
この二重螺旋は夥しくない
fact27 -> int2: もし仮にこの変圧は体現すれば「それは在職しないがしかし納付する」ということは成り立つということはない; fact25 -> int3: この変圧は体現する; int2 & int3 -> int4: 「この変圧は在職しないけどそれは納付する」ということは誤っている;
$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$ = 
fact5 & fact15 -> int1: あの疑似体験はＮＰＯ等である; int1 & fact18 -> 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. 事実5と事実15から、推論1: "あの疑似体験はＮＰＯ等である"が導かれる
2. 推論1と事実18から、仮説が否定される

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