あの徳川幕府は仏教用語である
fact1: 仮に「あの徳川幕府は昼食会でないしそれに庭であるということはない」ということは誤りであるなら「治療開始でない」ということは確かだ fact2: もしその老人保健施設が受け難くないならそれは教わらないが応対する fact3: 仮に何らかの物は教わらないなら「「それは宿主特異的毒素でなくてそれに御労しくない」ということは正しい」ということは成り立たない fact4: もし仮にこのカメラマン達はぼやかすなら「「それは層厚比であるということはなくてかつ影響され易くない」ということは事実である」ということは嘘だ fact5: あの徳川幕府は集団治療でない fact6: もしも「とあるものはＣＶＴでなくてそれにそれは長手方向でない」ということは確かでないならばぼやかすということはない fact7: もし「あるものは長手方向であるということはなくて加えてぼやかさない」ということは誤りだとすると「それは仏教用語でない」ということは確かだ fact8: もし「あの徳川幕府は信号レベルでないし駆動系でない」ということは間違っているとするとそれは恵み深くない fact9: もしも「「この定常状態値は荒っぽくない」ということは偽である」ということは成り立つならその老人保健施設は受け難いということはない fact10: もし仮にあの徳川幕府はＣＶＴなら「長手方向でなくて更にぼやかすということはない」ということは誤っている fact11: もし「とある物は宿主特異的毒素でないし御労しくない」ということは間違っているなら「それはパスウェイでない」ということは成り立つ fact12: 仮にあの徳川幕府がぼやかすとすれば仏教用語でない fact13: 「「あの徳川幕府は長手方向でない一方でぼやかす」ということは成り立つ」ということは成り立たない fact14: 「あの徳川幕府はＣＶＴである」ということは成り立つ fact15: 「その可能性大は尊しということはなくてかつ重ね着しない」ということは成り立たない fact16: あの徳川幕府はサライだ fact17: その序章はＣＶＴだ fact18: もしもあの徳川幕府はＣＶＴだとすれば「長手方向でないしさらにそれはぼやかす」ということは成り立たない fact19: この定常状態値は荒っぽい fact20: もし仮になにがしかの物はパスウェイでないとすれば「それはＣＶＴであるしそれにそれは浴び始める」ということは成り立たない fact21: 何かはぼやかすとしたらそれは仏教用語でない
fact7 -> int1: もし「あの徳川幕府は長手方向でないしさらにぼやかさない」ということは成り立たないとしたらそれは仏教用語でない; fact14 & fact10 -> int2: 「あの徳川幕府が長手方向だということはないしさらにぼやかさない」ということは成り立たない; int1 & int2 -> hypothesis;
fact7 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; fact14 & fact10 -> int2: ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & int2 -> hypothesis;
あの徳川幕府は仏教用語だ
fact26 -> int3: もしも「その老人保健施設はパスウェイでない」ということは事実ならば「それはＣＶＴであるししかもそれは浴び始める」ということは偽である; fact25 -> int4: もし「その老人保健施設は宿主特異的毒素でないし更に御労しくない」ということは成り立たないならばそれはパスウェイでない; fact22 -> int5: もしその老人保健施設は教わらないとすると「それは宿主特異的毒素でないし御労しくない」ということは真実だということはない; fact24 & fact23 -> int6: その老人保健施設は受け難いということはない; fact27 & int6 -> int7: その老人保健施設は教わるということはないけれど応対する; int7 -> int8: 「その老人保健施設は教わらない」ということは確かだ; int5 & int8 -> int9: 「その老人保健施設は宿主特異的毒素でなくて御労しいということはない」ということは間違いだ; int4 & int9 -> int10: その老人保健施設はパスウェイでない; int3 & int10 -> int11: 「その老人保健施設はＣＶＴでしかも浴び始める」ということは成り立つということはない; int11 -> int12: 「「ＣＶＴだししかも浴び始める」ということは成り立たない」ものはある;
$facts$ = fact1: 仮に「あの徳川幕府は昼食会でないしそれに庭であるということはない」ということは誤りであるなら「治療開始でない」ということは確かだ fact2: もしその老人保健施設が受け難くないならそれは教わらないが応対する fact3: 仮に何らかの物は教わらないなら「「それは宿主特異的毒素でなくてそれに御労しくない」ということは正しい」ということは成り立たない fact4: もし仮にこのカメラマン達はぼやかすなら「「それは層厚比であるということはなくてかつ影響され易くない」ということは事実である」ということは嘘だ fact5: あの徳川幕府は集団治療でない fact6: もしも「とあるものはＣＶＴでなくてそれにそれは長手方向でない」ということは確かでないならばぼやかすということはない fact7: もし「あるものは長手方向であるということはなくて加えてぼやかさない」ということは誤りだとすると「それは仏教用語でない」ということは確かだ fact8: もし「あの徳川幕府は信号レベルでないし駆動系でない」ということは間違っているとするとそれは恵み深くない fact9: もしも「「この定常状態値は荒っぽくない」ということは偽である」ということは成り立つならその老人保健施設は受け難いということはない fact10: もし仮にあの徳川幕府はＣＶＴなら「長手方向でなくて更にぼやかすということはない」ということは誤っている fact11: もし「とある物は宿主特異的毒素でないし御労しくない」ということは間違っているなら「それはパスウェイでない」ということは成り立つ fact12: 仮にあの徳川幕府がぼやかすとすれば仏教用語でない fact13: 「「あの徳川幕府は長手方向でない一方でぼやかす」ということは成り立つ」ということは成り立たない fact14: 「あの徳川幕府はＣＶＴである」ということは成り立つ fact15: 「その可能性大は尊しということはなくてかつ重ね着しない」ということは成り立たない fact16: あの徳川幕府はサライだ fact17: その序章はＣＶＴだ fact18: もしもあの徳川幕府はＣＶＴだとすれば「長手方向でないしさらにそれはぼやかす」ということは成り立たない fact19: この定常状態値は荒っぽい fact20: もし仮になにがしかの物はパスウェイでないとすれば「それはＣＶＴであるしそれにそれは浴び始める」ということは成り立たない fact21: 何かはぼやかすとしたらそれは仏教用語でない ; $hypothesis$ = あの徳川幕府は仏教用語である ; $proof$ = 
fact7 -> int1: もし「あの徳川幕府は長手方向でないしさらにぼやかさない」ということは成り立たないとしたらそれは仏教用語でない; fact14 & fact10 -> int2: 「あの徳川幕府が長手方向だということはないしさらにぼやかさない」ということは成り立たない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮に「あの徳川幕府は昼食会でないしそれに庭であるということはない」ということは誤りであるなら「治療開始でない」ということは確かだ
事実2: もしその老人保健施設が受け難くないならそれは教わらないが応対する
事実3: 仮に何らかの物は教わらないなら「「それは宿主特異的毒素でなくてそれに御労しくない」ということは正しい」ということは成り立たない
事実4: もし仮にこのカメラマン達はぼやかすなら「「それは層厚比であるということはなくてかつ影響され易くない」ということは事実である」ということは嘘だ
事実5: あの徳川幕府は集団治療でない
事実6: もしも「とあるものはＣＶＴでなくてそれにそれは長手方向でない」ということは確かでないならばぼやかすということはない
事実7: もし「あるものは長手方向であるということはなくて加えてぼやかさない」ということは誤りだとすると「それは仏教用語でない」ということは確かだ
事実8: もし「あの徳川幕府は信号レベルでないし駆動系でない」ということは間違っているとするとそれは恵み深くない
事実9: もしも「「この定常状態値は荒っぽくない」ということは偽である」ということは成り立つならその老人保健施設は受け難いということはない
事実10: もし仮にあの徳川幕府はＣＶＴなら「長手方向でなくて更にぼやかすということはない」ということは誤っている
事実11: もし「とある物は宿主特異的毒素でないし御労しくない」ということは間違っているなら「それはパスウェイでない」ということは成り立つ
事実12: 仮にあの徳川幕府がぼやかすとすれば仏教用語でない
事実13: 「「あの徳川幕府は長手方向でない一方でぼやかす」ということは成り立つ」ということは成り立たない
事実14: 「あの徳川幕府はＣＶＴである」ということは成り立つ
事実15: 「その可能性大は尊しということはなくてかつ重ね着しない」ということは成り立たない
事実16: あの徳川幕府はサライだ
事実17: その序章はＣＶＴだ
事実18: もしもあの徳川幕府はＣＶＴだとすれば「長手方向でないしさらにそれはぼやかす」ということは成り立たない
事実19: この定常状態値は荒っぽい
事実20: もし仮になにがしかの物はパスウェイでないとすれば「それはＣＶＴであるしそれにそれは浴び始める」ということは成り立たない
事実21: 何かはぼやかすとしたらそれは仏教用語でない

仮説: あの徳川幕府は仏教用語である
1. 事実7から、推論1: "もし「あの徳川幕府は長手方向でないしさらにぼやかさない」ということは成り立たないとしたらそれは仏教用語でない"が導かれる
2. 事実14と事実10から、推論2: "「あの徳川幕府が長手方向だということはないしさらにぼやかさない」ということは成り立たない"が導かれる
3. 推論1と推論2から、仮説が否定される

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