「あの連鎖的離職は増え難くないけれどカカオだ」ということは成り立たない
fact1: あの連鎖的離職は消化し難くないけれど恩返しである fact2: 仮にあるものが食らわせるとすればそれは貧しくないがしかしカカオである fact3: もしある物は食らわせないとすれば「それは増え難くないがカカオだ」ということは誤りである fact4: 極まりないということはないものは通り始めないが食らわせる fact5: もし「増え難い」ものはあるとすれば「あの連鎖的離職はカカオでない」ということは偽でない fact6: もしもなんらかのものがカカオであるならばあの連鎖的離職は増え難くない fact7: もし仮になんらかのものが食らわせるならあの連鎖的離職は増え難くないけどそれはカカオだ fact8: もし仮に「食らわせる」物があるならあの連鎖的離職は増え難くない fact9: あの連鎖的離職は迂回しないけれど着せがましい fact10: 仮に「あのマイクロホンは通り始めないがしかし食らわせる」ということは正しいとしたら「あの連鎖的離職は食らわせない」ということは成り立つ fact11: もしも「なんらかの物は極まりないけどそれは聞き漏らさない」ということは本当でないとすると極まりなくない fact12: カカオはある fact13: 「ある物は食らわせる」ということは本当だ
fact13 & fact7 -> hypothesis;
fact13 & fact7 -> hypothesis;
「あの連鎖的離職は増え難いということはないがしかしカカオだ」ということは嘘である
fact15 -> int1: 仮に「あの連鎖的離職は食らわせない」ということは本当だとしたら「それは増え難くないしその上それはカカオだ」ということは偽である; fact17 -> int2: 仮にあのマイクロホンが極まりなくないなら通り始めるということはないけれど食らわせる; fact16 -> int3: もしも「あのマイクロホンは極まりないけれど聞き漏らさない」ということは成り立たないとすればそれは極まりなくない;
$facts$ = fact1: あの連鎖的離職は消化し難くないけれど恩返しである fact2: 仮にあるものが食らわせるとすればそれは貧しくないがしかしカカオである fact3: もしある物は食らわせないとすれば「それは増え難くないがカカオだ」ということは誤りである fact4: 極まりないということはないものは通り始めないが食らわせる fact5: もし「増え難い」ものはあるとすれば「あの連鎖的離職はカカオでない」ということは偽でない fact6: もしもなんらかのものがカカオであるならばあの連鎖的離職は増え難くない fact7: もし仮になんらかのものが食らわせるならあの連鎖的離職は増え難くないけどそれはカカオだ fact8: もし仮に「食らわせる」物があるならあの連鎖的離職は増え難くない fact9: あの連鎖的離職は迂回しないけれど着せがましい fact10: 仮に「あのマイクロホンは通り始めないがしかし食らわせる」ということは正しいとしたら「あの連鎖的離職は食らわせない」ということは成り立つ fact11: もしも「なんらかの物は極まりないけどそれは聞き漏らさない」ということは本当でないとすると極まりなくない fact12: カカオはある fact13: 「ある物は食らわせる」ということは本当だ ; $hypothesis$ = 「あの連鎖的離職は増え難くないけれどカカオだ」ということは成り立たない ; $proof$ = 
fact13 & fact7 -> hypothesis; __DISPROVED__
事実1: あの連鎖的離職は消化し難くないけれど恩返しである
事実2: 仮にあるものが食らわせるとすればそれは貧しくないがしかしカカオである
事実3: もしある物は食らわせないとすれば「それは増え難くないがカカオだ」ということは誤りである
事実4: 極まりないということはないものは通り始めないが食らわせる
事実5: もし「増え難い」ものはあるとすれば「あの連鎖的離職はカカオでない」ということは偽でない
事実6: もしもなんらかのものがカカオであるならばあの連鎖的離職は増え難くない
事実7: もし仮になんらかのものが食らわせるならあの連鎖的離職は増え難くないけどそれはカカオだ
事実8: もし仮に「食らわせる」物があるならあの連鎖的離職は増え難くない
事実9: あの連鎖的離職は迂回しないけれど着せがましい
事実10: 仮に「あのマイクロホンは通り始めないがしかし食らわせる」ということは正しいとしたら「あの連鎖的離職は食らわせない」ということは成り立つ
事実11: もしも「なんらかの物は極まりないけどそれは聞き漏らさない」ということは本当でないとすると極まりなくない
事実12: カカオはある
事実13: 「ある物は食らわせる」ということは本当だ

仮説: 「あの連鎖的離職は増え難くないけれどカカオだ」ということは成り立たない
1. 事実13と事実7から、仮説が否定される

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