「あのカートリッジはダイヤルアップだし長し」ということは事実でない
fact1: 仮に「その霊訓は濁すということはない」ということは真実であるならあの政治的利害は眺め行くし納得性である fact2: あの全国市場は迅速化する fact3: もし「あの構えは濁すかあるいは扱箸であるかあるいはどちらもである」ということは真実であるということはないとしたら「その霊訓は濁すということはない」ということは事実だ fact4: もしもその霊訓が納得性でないならばあの政治的利害はスルーパスでないけれど短期記憶である fact5: 仮にこのエージェントは扱箸でないならば「あの構えは練兵館道場でないけど濁す」ということは間違いである fact6: もし仮にあの政治的利害は納得性であるなら「あのカートリッジは短期記憶だ」ということは成り立つ fact7: もしも「短期記憶な」物はあるとすれば「この日清・日露は長しということはないし加えてスルーパスであるということはない」ということは成り立たない fact8: もし仮にとあるものは練兵館道場でないとすると「濁すかまたは扱箸であるか両方ともだ」ということは成り立つということはない fact9: 仮になにかは暗くないとすると「それはダイヤルアップであるし加えて長し」ということは間違いだ fact10: 「もし仮に「「あの構えは練兵館道場だということはないがしかし濁す」ということは成り立つ」ということは成り立たないならばその霊訓は濁さない」ということは成り立つ fact11: 「もしなにがしかの物が暗いとしたらダイヤルアップだ」ということは誤りであるということはない fact12: もしも「「書き記さない」ということは本当な」物があるならあの構えは練兵館道場でない fact13: もしその胸倉は染み込まないならば「それはオンするということはなくてしかもそれはヘルパーさん達だ」ということは真実でない fact14: その胸倉は染み込まない fact15: もしも「あるものは長しということはなくてそれにそれはスルーパスでない」ということは誤りであるならば長し fact16: あのカートリッジは暗いしダイヤルアップだ fact17: 「あの全国市場は迅速化するししかもそれは飲み仲間である」ということは事実と異なるということはないとしたら「このエージェントは書き記さない」ということは確かである fact18: あのカートリッジは長し fact19: もし「その胸倉はオンしないがヘルパーさん達だ」ということは間違いであるとしたらあの全国市場は飲み仲間である fact20: このエージェントは扱箸でない fact21: もしあるものが濁さないならば眺め行かないし更にそれは納得性でない
fact16 -> int1: あのカートリッジはダイヤルアップだ; int1 & fact18 -> hypothesis;
fact16 -> int1: {B}{a}; int1 & fact18 -> hypothesis;
この日清・日露はダイヤルアップである
fact29 -> int2: 「もし仮にこの日清・日露が暗いとしたらこの日清・日露はダイヤルアップである」ということは確かだ; fact28 -> int3: もし仮に「この日清・日露は長しないしかつスルーパスでない」ということは成り立たないなら長し; fact25 -> int4: 仮にあの構えは練兵館道場でないとすると「「それは濁すかもしくは扱箸である」ということは事実である」ということは真実でない; fact24 & fact33 -> int5: 「その胸倉はオンしないけどヘルパーさん達である」ということは成り立たない; fact23 & int5 -> int6: あの全国市場は飲み仲間だ; fact31 & int6 -> int7: あの全国市場は迅速化するししかもそれは飲み仲間だ; fact27 & int7 -> int8: このエージェントは書き記さない; int8 -> int9: とある物は書き記さない; int9 & fact32 -> int10: あの構えは練兵館道場だということはない; int4 & int10 -> int11: 「あの構えは濁すかまたはそれは扱箸であるか両方である」ということは成り立たない; fact26 & int11 -> int12: その霊訓は濁さない; fact34 & int12 -> int13: あの政治的利害は眺め行くしそれに納得性だ; int13 -> int14: あの政治的利害は納得性だ; fact30 & int14 -> int15: あのカートリッジは短期記憶である; int15 -> int16: ある物は短期記憶だ; int16 & fact22 -> int17: 「この日清・日露は長しないしその上スルーパスでない」ということは誤りだ; int3 & int17 -> int18: 「この日清・日露は長し」ということは本当だ;
$facts$ = fact1: 仮に「その霊訓は濁すということはない」ということは真実であるならあの政治的利害は眺め行くし納得性である fact2: あの全国市場は迅速化する fact3: もし「あの構えは濁すかあるいは扱箸であるかあるいはどちらもである」ということは真実であるということはないとしたら「その霊訓は濁すということはない」ということは事実だ fact4: もしもその霊訓が納得性でないならばあの政治的利害はスルーパスでないけれど短期記憶である fact5: 仮にこのエージェントは扱箸でないならば「あの構えは練兵館道場でないけど濁す」ということは間違いである fact6: もし仮にあの政治的利害は納得性であるなら「あのカートリッジは短期記憶だ」ということは成り立つ fact7: もしも「短期記憶な」物はあるとすれば「この日清・日露は長しということはないし加えてスルーパスであるということはない」ということは成り立たない fact8: もし仮にとあるものは練兵館道場でないとすると「濁すかまたは扱箸であるか両方ともだ」ということは成り立つということはない fact9: 仮になにかは暗くないとすると「それはダイヤルアップであるし加えて長し」ということは間違いだ fact10: 「もし仮に「「あの構えは練兵館道場だということはないがしかし濁す」ということは成り立つ」ということは成り立たないならばその霊訓は濁さない」ということは成り立つ fact11: 「もしなにがしかの物が暗いとしたらダイヤルアップだ」ということは誤りであるということはない fact12: もしも「「書き記さない」ということは本当な」物があるならあの構えは練兵館道場でない fact13: もしその胸倉は染み込まないならば「それはオンするということはなくてしかもそれはヘルパーさん達だ」ということは真実でない fact14: その胸倉は染み込まない fact15: もしも「あるものは長しということはなくてそれにそれはスルーパスでない」ということは誤りであるならば長し fact16: あのカートリッジは暗いしダイヤルアップだ fact17: 「あの全国市場は迅速化するししかもそれは飲み仲間である」ということは事実と異なるということはないとしたら「このエージェントは書き記さない」ということは確かである fact18: あのカートリッジは長し fact19: もし「その胸倉はオンしないがヘルパーさん達だ」ということは間違いであるとしたらあの全国市場は飲み仲間である fact20: このエージェントは扱箸でない fact21: もしあるものが濁さないならば眺め行かないし更にそれは納得性でない ; $hypothesis$ = 「あのカートリッジはダイヤルアップだし長し」ということは事実でない ; $proof$ = 
fact16 -> 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: もしあるものが濁さないならば眺め行かないし更にそれは納得性でない

仮説: 「あのカートリッジはダイヤルアップだし長し」ということは事実でない
1. 事実16から、推論1: "あのカートリッジはダイヤルアップだ"が導かれる
2. 推論1と事実18から、仮説が否定される

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