あの万死は多核巨細胞である
fact1: あの万死は町役場である fact2: この子育ちは皮肉っぽくないかまたは町役場であるかまたはどちらもだ fact3: 貧乏臭いものは薄暗いけれど喋り難くない fact4: 「喋り難い物は薄暗い」ということは真実である fact5: もしこの子育ちが皮肉っぽくないかあるいは町役場でないか両方であるとしたらあの万死は喋り難い fact6: 喋り難いということはないものは町役場であるし更に皮肉っぽい fact7: もし「このフランス人男性は喋り難くない」ということは確かだとすれば「この子育ちは皮肉っぽいけどそれは町役場でない」ということは間違っている fact8: あの万死が薄暗いならば皮肉っぽい fact9: 仮にあのピザ屋は喋り難くないとしたら「このフランス人男性は喋り難くない」ということは真実だ fact10: もし仮にこの子育ちが皮肉っぽいとしたらそれは薄暗い fact11: 薄暗い物は多核巨細胞である fact12: 苦々しかないものは貧乏臭くておまけに最もらしい fact13: 「この子育ちは皮肉っぽいかまたは町役場であるということはないかどちらもだ」ということは確かだ fact14: 「あのピザ屋は苦々しかない」ということは事実である fact15: この子育ちは町役場でない
fact15 -> int1: この子育ちは皮肉っぽくないかあるいはそれは町役場だということはないかまたは両方ともだ; int1 & fact5 -> int2: あの万死は喋り難い; fact4 -> int3: もしあの万死が喋り難いとしたらそれは薄暗い; int2 & int3 -> int4: あの万死は薄暗い; fact11 -> int5: もしもあの万死が薄暗いとしたら多核巨細胞である; int4 & int5 -> hypothesis;
あの万死は多核巨細胞でない
fact20 -> int6: もしあのピザ屋が貧乏臭いとすると薄暗いけど喋り難くない; fact19 -> int7: もし仮に「あのピザ屋は苦々しいということはない」ということは成り立つなら貧乏臭いし加えて最もらしい; int7 & fact17 -> int8: あのピザ屋は貧乏臭くてまた最もらしい; int8 -> int9: あのピザ屋は貧乏臭い; int6 & int9 -> int10: あのピザ屋は薄暗いけれどそれは喋り難くない; int10 -> int11: あのピザ屋は喋り難くない; fact16 & int11 -> int12: このフランス人男性は喋り難くない; fact18 & int12 -> int13: 「この子育ちは皮肉っぽい一方で町役場でない」ということは誤りである; int13 -> int14: 「「皮肉っぽくて町役場でない」ということは成り立たない」ものはある;
$facts$ = fact1: あの万死は町役場である fact2: この子育ちは皮肉っぽくないかまたは町役場であるかまたはどちらもだ fact3: 貧乏臭いものは薄暗いけれど喋り難くない fact4: 「喋り難い物は薄暗い」ということは真実である fact5: もしこの子育ちが皮肉っぽくないかあるいは町役場でないか両方であるとしたらあの万死は喋り難い fact6: 喋り難いということはないものは町役場であるし更に皮肉っぽい fact7: もし「このフランス人男性は喋り難くない」ということは確かだとすれば「この子育ちは皮肉っぽいけどそれは町役場でない」ということは間違っている fact8: あの万死が薄暗いならば皮肉っぽい fact9: 仮にあのピザ屋は喋り難くないとしたら「このフランス人男性は喋り難くない」ということは真実だ fact10: もし仮にこの子育ちが皮肉っぽいとしたらそれは薄暗い fact11: 薄暗い物は多核巨細胞である fact12: 苦々しかないものは貧乏臭くておまけに最もらしい fact13: 「この子育ちは皮肉っぽいかまたは町役場であるということはないかどちらもだ」ということは確かだ fact14: 「あのピザ屋は苦々しかない」ということは事実である fact15: この子育ちは町役場でない ; $hypothesis$ = あの万死は多核巨細胞である ; $proof$ = 
fact15 -> int1: この子育ちは皮肉っぽくないかあるいはそれは町役場だということはないかまたは両方ともだ; int1 & fact5 -> int2: あの万死は喋り難い; fact4 -> int3: もしあの万死が喋り難いとしたらそれは薄暗い; int2 & int3 -> int4: あの万死は薄暗い; fact11 -> int5: もしもあの万死が薄暗いとしたら多核巨細胞である; int4 & int5 -> hypothesis; __PROVED__
事実1: あの万死は町役場である
事実2: この子育ちは皮肉っぽくないかまたは町役場であるかまたはどちらもだ
事実3: 貧乏臭いものは薄暗いけれど喋り難くない
事実4: 「喋り難い物は薄暗い」ということは真実である
事実5: もしこの子育ちが皮肉っぽくないかあるいは町役場でないか両方であるとしたらあの万死は喋り難い
事実6: 喋り難いということはないものは町役場であるし更に皮肉っぽい
事実7: もし「このフランス人男性は喋り難くない」ということは確かだとすれば「この子育ちは皮肉っぽいけどそれは町役場でない」ということは間違っている
事実8: あの万死が薄暗いならば皮肉っぽい
事実9: 仮にあのピザ屋は喋り難くないとしたら「このフランス人男性は喋り難くない」ということは真実だ
事実10: もし仮にこの子育ちが皮肉っぽいとしたらそれは薄暗い
事実11: 薄暗い物は多核巨細胞である
事実12: 苦々しかないものは貧乏臭くておまけに最もらしい
事実13: 「この子育ちは皮肉っぽいかまたは町役場であるということはないかどちらもだ」ということは確かだ
事実14: 「あのピザ屋は苦々しかない」ということは事実である
事実15: この子育ちは町役場でない

仮説: あの万死は多核巨細胞である
1. 事実15から、推論1: "この子育ちは皮肉っぽくないかあるいはそれは町役場だということはないかまたは両方ともだ"が導かれる
2. 推論1と事実5から、推論2: "あの万死は喋り難い"が導かれる
3. 事実4から、推論3: "もしあの万死が喋り難いとしたらそれは薄暗い"が導かれる
4. 推論2と推論3から、推論4: "あの万死は薄暗い"が導かれる
5. 事実11から、推論5: "もしもあの万死が薄暗いとしたら多核巨細胞である"が導かれる
6. 推論4と推論5から、仮説が導かれる

よって、仮説が証明されました。