「このパーセルデータは五臓六腑だがしかしそれは数え上げない」ということは嘘である
fact1: もし手堅い物が拭い難いとしたらそれは活動し易いということはない fact2: もしも「なにがしかのものは敢え無いか分離出来ない」ということは間違いならそれは上越新幹線でない fact3: 仮に手堅い物が拭い難いということはないならば活動し易いということはない fact4: 「この車内は手堅いし更に拭い難い」ということは成り立たない fact5: もしこの発注業務はおどろおどろしいとしたら「それは活動し易い」ということは真実である fact6: おどろおどろしい物は活動し易い fact7: この発注業務が五臓六腑ならばこのパーセルデータは五臓六腑であるけれど数え上げない fact8: 「このパーセルデータは手堅くない」ということは真実だ fact9: なにかは上越新幹線でないとしたらそれは入港出来ない fact10: この車内はおどろおどろしいし取り組み易い fact11: もしもこの痴態が取り組み易いとすればこの発注業務はおどろおどろしい fact12: この車内が拭い難いとするとこの発注業務は五臓六腑だ fact13: この痴態は成立し難いならば「敢え無いかそれは分離出来ない」ということは成り立たない fact14: もし「なにがしかの物は入港出来ない」ということは成り立つとしたらそれは取り組み易くて更にそれは自己規定だ fact15: この車内は取り組み易い fact16: 「この車内は手堅くてさらに拭い難い」ということは真実だとすれば活動し易くない fact17: 仮にこの発注業務が五臓六腑ならばあのパーセルデータは数え上げない fact18: この痴態は成立し難い fact19: 仮になんらかの物が五臓六腑でないしさらに活動し易くないなら拭い難くない fact20: 「この車内は手堅いけれど拭い難くない」ということは間違いだとするとこの発注業務は五臓六腑だ fact21: このパーセルデータは数え上げない
fact3 -> int1: もしもこの車内は手堅い一方で拭い難くないとすると活動し易くない; void -> assump1: 以下のように仮定する。この車内は手堅いけど拭い難くない; int1 & assump1 -> int2: この車内は活動し易くない; fact6 -> int3: もし仮にこの車内はおどろおどろしいとすると「それは活動し易い」ということは事実である; fact10 -> int4: この車内はおどろおどろしい; int3 & int4 -> int5: この車内は活動し易い; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「この車内は手堅いけどそれは拭い難くない」ということは間違いである; int7 & fact20 -> int8: この発注業務は五臓六腑である; int8 & fact7 -> hypothesis;
「このパーセルデータは五臓六腑だが数え上げない」ということは成り立たない
fact28 -> int9: もし仮にこの痴態が入港出来ないとすれば取り組み易くてそれに自己規定だ; fact26 -> int10: この痴態は上越新幹線でないとすれば「入港出来るということはない」ということは正しい; fact23 -> int11: 仮に「この痴態は敢え無いか分離出来ないか両方だ」ということは偽であるとしたら上越新幹線だということはない; fact22 & fact24 -> int12: 「この痴態は敢え無いかもしくは分離出来ない」ということは成り立たない; int11 & int12 -> int13: 「この痴態は上越新幹線であるということはない」ということは真実である; int10 & int13 -> int14: この痴態は入港出来ない; int9 & int14 -> int15: この痴態は取り組み易いし加えて自己規定だ; int15 -> int16: この痴態は取り組み易い; fact25 & int16 -> int17: この発注業務はおどろおどろしい; fact27 & int17 -> int18: この発注業務は活動し易い; int18 -> int19: 「「活動し易い」ということは成り立つ」物はある;
$facts$ = fact1: もし手堅い物が拭い難いとしたらそれは活動し易いということはない fact2: もしも「なにがしかのものは敢え無いか分離出来ない」ということは間違いならそれは上越新幹線でない fact3: 仮に手堅い物が拭い難いということはないならば活動し易いということはない fact4: 「この車内は手堅いし更に拭い難い」ということは成り立たない fact5: もしこの発注業務はおどろおどろしいとしたら「それは活動し易い」ということは真実である fact6: おどろおどろしい物は活動し易い fact7: この発注業務が五臓六腑ならばこのパーセルデータは五臓六腑であるけれど数え上げない fact8: 「このパーセルデータは手堅くない」ということは真実だ fact9: なにかは上越新幹線でないとしたらそれは入港出来ない fact10: この車内はおどろおどろしいし取り組み易い fact11: もしもこの痴態が取り組み易いとすればこの発注業務はおどろおどろしい fact12: この車内が拭い難いとするとこの発注業務は五臓六腑だ fact13: この痴態は成立し難いならば「敢え無いかそれは分離出来ない」ということは成り立たない fact14: もし「なにがしかの物は入港出来ない」ということは成り立つとしたらそれは取り組み易くて更にそれは自己規定だ fact15: この車内は取り組み易い fact16: 「この車内は手堅くてさらに拭い難い」ということは真実だとすれば活動し易くない fact17: 仮にこの発注業務が五臓六腑ならばあのパーセルデータは数え上げない fact18: この痴態は成立し難い fact19: 仮になんらかの物が五臓六腑でないしさらに活動し易くないなら拭い難くない fact20: 「この車内は手堅いけれど拭い難くない」ということは間違いだとするとこの発注業務は五臓六腑だ fact21: このパーセルデータは数え上げない ; $hypothesis$ = 「このパーセルデータは五臓六腑だがしかしそれは数え上げない」ということは嘘である ; $proof$ = 
fact3 -> int1: もしもこの車内は手堅い一方で拭い難くないとすると活動し易くない; void -> assump1: 以下のように仮定する。この車内は手堅いけど拭い難くない; int1 & assump1 -> int2: この車内は活動し易くない; fact6 -> int3: もし仮にこの車内はおどろおどろしいとすると「それは活動し易い」ということは事実である; fact10 -> int4: この車内はおどろおどろしい; int3 & int4 -> int5: この車内は活動し易い; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「この車内は手堅いけどそれは拭い難くない」ということは間違いである; int7 & fact20 -> int8: この発注業務は五臓六腑である; int8 & fact7 -> hypothesis; __DISPROVED__
事実1: もし手堅い物が拭い難いとしたらそれは活動し易いということはない
事実2: もしも「なにがしかのものは敢え無いか分離出来ない」ということは間違いならそれは上越新幹線でない
事実3: 仮に手堅い物が拭い難いということはないならば活動し易いということはない
事実4: 「この車内は手堅いし更に拭い難い」ということは成り立たない
事実5: もしこの発注業務はおどろおどろしいとしたら「それは活動し易い」ということは真実である
事実6: おどろおどろしい物は活動し易い
事実7: この発注業務が五臓六腑ならばこのパーセルデータは五臓六腑であるけれど数え上げない
事実8: 「このパーセルデータは手堅くない」ということは真実だ
事実9: なにかは上越新幹線でないとしたらそれは入港出来ない
事実10: この車内はおどろおどろしいし取り組み易い
事実11: もしもこの痴態が取り組み易いとすればこの発注業務はおどろおどろしい
事実12: この車内が拭い難いとするとこの発注業務は五臓六腑だ
事実13: この痴態は成立し難いならば「敢え無いかそれは分離出来ない」ということは成り立たない
事実14: もし「なにがしかの物は入港出来ない」ということは成り立つとしたらそれは取り組み易くて更にそれは自己規定だ
事実15: この車内は取り組み易い
事実16: 「この車内は手堅くてさらに拭い難い」ということは真実だとすれば活動し易くない
事実17: 仮にこの発注業務が五臓六腑ならばあのパーセルデータは数え上げない
事実18: この痴態は成立し難い
事実19: 仮になんらかの物が五臓六腑でないしさらに活動し易くないなら拭い難くない
事実20: 「この車内は手堅いけれど拭い難くない」ということは間違いだとするとこの発注業務は五臓六腑だ
事実21: このパーセルデータは数え上げない

仮説: 「このパーセルデータは五臓六腑だがしかしそれは数え上げない」ということは嘘である
1. 事実3から、推論1: "もしもこの車内は手堅い一方で拭い難くないとすると活動し易くない"が導かれる
2. 仮定1: 以下のように仮定する。この車内は手堅いけど拭い難くない
3. 推論1と仮定1から、推論2: "この車内は活動し易くない"が導かれる
4. 事実6から、推論3: "もし仮にこの車内はおどろおどろしいとすると「それは活動し易い」ということは事実である"が導かれる
5. 事実10から、推論4: "この車内はおどろおどろしい"が導かれる
6. 推論3と推論4から、推論5: "この車内は活動し易い"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "「この車内は手堅いけどそれは拭い難くない」ということは間違いである"が導かれる
9. 推論7と事実20から、推論8: "この発注業務は五臓六腑である"が導かれる
10. 推論8と事実7から、仮説が否定される

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