この第六章参照は喜びである
fact1: もし仮に「この区民は移り難くない」ということは成り立つならそれは納入するしその上荷物番である fact2: 仮に「荷物番でないかもしくは涙ぐましいかどちらもである」ものがあるとするとその肝細胞は荷物番だということはない fact3: もしもあの輸出貨物情報ファイルが高級住宅市場で納入するとしたらこの第六章参照は荷物番でない fact4: この区民が勿体無いとするとあの土地本位制は哀れっぽい fact5: あの土地本位制は進め易いししかも迷い易い fact6: あの土地本位制は進め易いしそれは高級住宅市場だ fact7: 「「毛深いし納入する」ということは誤っている」ものはある fact8: もしも「「毛深いしさらに納入しない」ということは成り立つということはない」物があるならこの外記は納入する fact9: もしもあの土地本位制が進め易いしその上迷い易いとすればこの区民は哀れっぽくない fact10: もしあの土地本位制が哀れっぽくないならこの早世は喜びだしさらに熱し易い fact11: もしも「なにがしかの物は納入しないしそれに勿体無くない」ということは成り立たないとすると勿体無い fact12: 仮に「「涙ぐましいし納入しない」ということは真実でない」ものがあるとしたらあの輸出貨物情報ファイルは納入する fact13: 「荷物番でないかもしくは涙ぐましいかまたは両方である」ものはある fact14: 「そのファイル番号は毛深いし移り難い」ということは誤りだ fact15: もし仮にあるものは荷物番でないとすれば「それは高級住宅市場であるしおまけにそれは移り難い」ということは誤っている fact16: 「「この外記は涙ぐましい一方で納入するということはない」ということは成り立たない」ということは事実だ fact17: 「「高級住宅市場だし移り難い」ということは嘘である」物があるならこの区民は高級住宅市場でない fact18: もし仮にこの区民は哀れっぽくないなら「「その肝細胞は勿体無くてそれは熱し易い」ということは確かである」ということは成り立たない fact19: もし「そのファイル番号は毛深くてまた移り難い」ということは成り立たないならこの第六章参照は移り難くない fact20: この外記は迷い易いし涙ぐましい fact21: 仮に何かは高級住宅市場だということはないとすると「それは納入しないし勿体無くない」ということは間違っている fact22: 「「勿体無くて加えて熱し易い」ということは間違いな」物があるとするとあの輸出貨物情報ファイルは高級住宅市場である fact23: この第六章参照は勿体無い fact24: そのファイル番号が進め易くないとしたらあの土地本位制は進め易いということはない fact25: 「「描き易くて許し難い」ということは成り立たない」ものはある fact26: もし「「なんらかのものは熱し易いということはないしまた喜びであるということはない」ということは成り立つ」ということは間違いなら喜びである fact27: 何かは荷物番でなくてその上それが移り難いということはないとするとそれは喜びでない fact28: そのファイル番号が荷物番だし更に移り難いならこの第六章参照は毛深くない
fact9 & fact5 -> int1: この区民は哀れっぽいということはない; int1 & fact18 -> int2: 「その肝細胞は勿体無いしそれは熱し易い」ということは成り立たない; int2 -> int3: 「「勿体無いし熱し易い」ということは事実と異なる」物はある; int3 & fact22 -> int4: あの輸出貨物情報ファイルは高級住宅市場だ; fact16 -> int5: 「「涙ぐましくてそれに納入しない」ということは間違っている」ものはある; int5 & fact12 -> int6: あの輸出貨物情報ファイルは納入する; int4 & int6 -> int7: あの輸出貨物情報ファイルは高級住宅市場であるし納入する; int7 & fact3 -> int8: この第六章参照は荷物番でない; fact14 & fact19 -> int9: この第六章参照は移り難いということはない; int8 & int9 -> int10: この第六章参照は荷物番でないしさらに移り難くない; fact27 -> int11: 仮にこの第六章参照は荷物番でなくて移り難くないとすれば「それは喜びだということはない」ということは本当である; int10 & int11 -> hypothesis;
この第六章参照は喜びである
fact35 -> int12: 「この第六章参照は熱し易いということはないし更に喜びでない」ということは成り立たないとすればそれは喜びである; fact36 -> int13: 仮に「この区民は納入しなくて勿体無くない」ということは成り立たないなら「勿体無い」ということは本当だ; fact34 -> int14: もし仮に「この区民は高級住宅市場でない」ということは成り立てば「納入しなくてそれは勿体無くない」ということは成り立たない; fact29 -> int15: 仮にその肝細胞は荷物番でないとすると「高級住宅市場であるしおまけに移り難い」ということは成り立つということはない; fact32 & fact31 -> int16: その肝細胞は荷物番でない; int15 & int16 -> int17: 「その肝細胞は高級住宅市場で移り難い」ということは間違いだ; int17 -> int18: 「「高級住宅市場であるししかも移り難い」ということは成り立たない」ものはある; int18 & fact30 -> int19: この区民は高級住宅市場でない; int14 & int19 -> int20: 「この区民は納入しないし勿体無くない」ということは本当だということはない; int13 & int20 -> int21: この区民は勿体無い; fact33 & int21 -> int22: あの土地本位制は哀れっぽい; int22 -> int23: 哀れっぽいものはある;
$facts$ = fact1: もし仮に「この区民は移り難くない」ということは成り立つならそれは納入するしその上荷物番である fact2: 仮に「荷物番でないかもしくは涙ぐましいかどちらもである」ものがあるとするとその肝細胞は荷物番だということはない fact3: もしもあの輸出貨物情報ファイルが高級住宅市場で納入するとしたらこの第六章参照は荷物番でない fact4: この区民が勿体無いとするとあの土地本位制は哀れっぽい fact5: あの土地本位制は進め易いししかも迷い易い fact6: あの土地本位制は進め易いしそれは高級住宅市場だ fact7: 「「毛深いし納入する」ということは誤っている」ものはある fact8: もしも「「毛深いしさらに納入しない」ということは成り立つということはない」物があるならこの外記は納入する fact9: もしもあの土地本位制が進め易いしその上迷い易いとすればこの区民は哀れっぽくない fact10: もしあの土地本位制が哀れっぽくないならこの早世は喜びだしさらに熱し易い fact11: もしも「なにがしかの物は納入しないしそれに勿体無くない」ということは成り立たないとすると勿体無い fact12: 仮に「「涙ぐましいし納入しない」ということは真実でない」ものがあるとしたらあの輸出貨物情報ファイルは納入する fact13: 「荷物番でないかもしくは涙ぐましいかまたは両方である」ものはある fact14: 「そのファイル番号は毛深いし移り難い」ということは誤りだ fact15: もし仮にあるものは荷物番でないとすれば「それは高級住宅市場であるしおまけにそれは移り難い」ということは誤っている fact16: 「「この外記は涙ぐましい一方で納入するということはない」ということは成り立たない」ということは事実だ fact17: 「「高級住宅市場だし移り難い」ということは嘘である」物があるならこの区民は高級住宅市場でない fact18: もし仮にこの区民は哀れっぽくないなら「「その肝細胞は勿体無くてそれは熱し易い」ということは確かである」ということは成り立たない fact19: もし「そのファイル番号は毛深くてまた移り難い」ということは成り立たないならこの第六章参照は移り難くない fact20: この外記は迷い易いし涙ぐましい fact21: 仮に何かは高級住宅市場だということはないとすると「それは納入しないし勿体無くない」ということは間違っている fact22: 「「勿体無くて加えて熱し易い」ということは間違いな」物があるとするとあの輸出貨物情報ファイルは高級住宅市場である fact23: この第六章参照は勿体無い fact24: そのファイル番号が進め易くないとしたらあの土地本位制は進め易いということはない fact25: 「「描き易くて許し難い」ということは成り立たない」ものはある fact26: もし「「なんらかのものは熱し易いということはないしまた喜びであるということはない」ということは成り立つ」ということは間違いなら喜びである fact27: 何かは荷物番でなくてその上それが移り難いということはないとするとそれは喜びでない fact28: そのファイル番号が荷物番だし更に移り難いならこの第六章参照は毛深くない ; $hypothesis$ = この第六章参照は喜びである ; $proof$ = 
fact9 & fact5 -> int1: この区民は哀れっぽいということはない; int1 & fact18 -> int2: 「その肝細胞は勿体無いしそれは熱し易い」ということは成り立たない; int2 -> int3: 「「勿体無いし熱し易い」ということは事実と異なる」物はある; int3 & fact22 -> int4: あの輸出貨物情報ファイルは高級住宅市場だ; fact16 -> int5: 「「涙ぐましくてそれに納入しない」ということは間違っている」ものはある; int5 & fact12 -> int6: あの輸出貨物情報ファイルは納入する; int4 & int6 -> int7: あの輸出貨物情報ファイルは高級住宅市場であるし納入する; int7 & fact3 -> int8: この第六章参照は荷物番でない; fact14 & fact19 -> int9: この第六章参照は移り難いということはない; int8 & int9 -> int10: この第六章参照は荷物番でないしさらに移り難くない; fact27 -> int11: 仮にこの第六章参照は荷物番でなくて移り難くないとすれば「それは喜びだということはない」ということは本当である; int10 & int11 -> 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: この第六章参照は勿体無い
事実24: そのファイル番号が進め易くないとしたらあの土地本位制は進め易いということはない
事実25: 「「描き易くて許し難い」ということは成り立たない」ものはある
事実26: もし「「なんらかのものは熱し易いということはないしまた喜びであるということはない」ということは成り立つ」ということは間違いなら喜びである
事実27: 何かは荷物番でなくてその上それが移り難いということはないとするとそれは喜びでない
事実28: そのファイル番号が荷物番だし更に移り難いならこの第六章参照は毛深くない

仮説: この第六章参照は喜びである
1. 事実9と事実5から、推論1: "この区民は哀れっぽいということはない"が導かれる
2. 推論1と事実18から、推論2: "「その肝細胞は勿体無いしそれは熱し易い」ということは成り立たない"が導かれる
3. 推論2から、推論3: "「「勿体無いし熱し易い」ということは事実と異なる」物はある"が導かれる
4. 推論3と事実22から、推論4: "あの輸出貨物情報ファイルは高級住宅市場だ"が導かれる
5. 事実16から、推論5: "「「涙ぐましくてそれに納入しない」ということは間違っている」ものはある"が導かれる
6. 推論5と事実12から、推論6: "あの輸出貨物情報ファイルは納入する"が導かれる
7. 推論4と推論6から、推論7: "あの輸出貨物情報ファイルは高級住宅市場であるし納入する"が導かれる
8. 推論7と事実3から、推論8: "この第六章参照は荷物番でない"が導かれる
9. 事実14と事実19から、推論9: "この第六章参照は移り難いということはない"が導かれる
10. 推論8と推論9から、推論10: "この第六章参照は荷物番でないしさらに移り難くない"が導かれる
11. 事実27から、推論11: "仮にこの第六章参照は荷物番でなくて移り難くないとすれば「それは喜びだということはない」ということは本当である"が導かれる
12. 推論10と推論11から、仮説が否定される

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