この御麻痺は担当編集者でない
fact1: もしもこの本村がＦＬＡＳＨならばその動力車賃金論は担当編集者でない fact2: この片開きドアが尤もらしいならばこの御麻痺は尤もらしい fact3: 尤もらしい物は部位毎でない fact4: この本村が尤もらしいかＦＬＡＳＨであるならその動力車賃金論は担当編集者でない fact5: もし仮にその動力車賃金論が担当編集者でないとしたらこの御麻痺は公共化する fact6: 仮にこの片開きドアは焼き方であるとすればそれは部位毎である fact7: 「この片開きドアは焼き方だ」ということは真実だ fact8: もし「この片開きドアは部位毎である」ということは確かであるとするとこの本村は尤もらしい fact9: その動力車賃金論が担当編集者でないとするとこの御麻痺は公共化するし担当編集者だ fact10: もし仮に何らかのものは担当編集者でないか焼き方でないかどちらもだとすればそれは担当編集者でない fact11: この御麻痺は公共化する
fact6 & fact7 -> int1: この片開きドアは部位毎である; int1 & fact8 -> int2: この本村は尤もらしい; int2 -> int3: この本村は尤もらしいかあるいはＦＬＡＳＨであるかもしくは両方である; int3 & fact4 -> int4: その動力車賃金論は担当編集者でない; int4 & fact9 -> int5: この御麻痺は公共化するししかも担当編集者だ; int5 -> hypothesis;
この御麻痺は担当編集者でない
fact14 -> int6: 仮にこの御麻痺が担当編集者でないか焼き方でないかあるいはどちらもであるとすれば「担当編集者でない」ということは嘘でない; fact12 -> int7: もし仮にこの御麻痺が尤もらしいとすれば部位毎でない;
$facts$ = fact1: もしもこの本村がＦＬＡＳＨならばその動力車賃金論は担当編集者でない fact2: この片開きドアが尤もらしいならばこの御麻痺は尤もらしい fact3: 尤もらしい物は部位毎でない fact4: この本村が尤もらしいかＦＬＡＳＨであるならその動力車賃金論は担当編集者でない fact5: もし仮にその動力車賃金論が担当編集者でないとしたらこの御麻痺は公共化する fact6: 仮にこの片開きドアは焼き方であるとすればそれは部位毎である fact7: 「この片開きドアは焼き方だ」ということは真実だ fact8: もし「この片開きドアは部位毎である」ということは確かであるとするとこの本村は尤もらしい fact9: その動力車賃金論が担当編集者でないとするとこの御麻痺は公共化するし担当編集者だ fact10: もし仮に何らかのものは担当編集者でないか焼き方でないかどちらもだとすればそれは担当編集者でない fact11: この御麻痺は公共化する ; $hypothesis$ = この御麻痺は担当編集者でない ; $proof$ = 
fact6 & fact7 -> int1: この片開きドアは部位毎である; int1 & fact8 -> int2: この本村は尤もらしい; int2 -> int3: この本村は尤もらしいかあるいはＦＬＡＳＨであるかもしくは両方である; int3 & fact4 -> int4: その動力車賃金論は担当編集者でない; int4 & fact9 -> int5: この御麻痺は公共化するししかも担当編集者だ; int5 -> hypothesis; __DISPROVED__
事実1: もしもこの本村がＦＬＡＳＨならばその動力車賃金論は担当編集者でない
事実2: この片開きドアが尤もらしいならばこの御麻痺は尤もらしい
事実3: 尤もらしい物は部位毎でない
事実4: この本村が尤もらしいかＦＬＡＳＨであるならその動力車賃金論は担当編集者でない
事実5: もし仮にその動力車賃金論が担当編集者でないとしたらこの御麻痺は公共化する
事実6: 仮にこの片開きドアは焼き方であるとすればそれは部位毎である
事実7: 「この片開きドアは焼き方だ」ということは真実だ
事実8: もし「この片開きドアは部位毎である」ということは確かであるとするとこの本村は尤もらしい
事実9: その動力車賃金論が担当編集者でないとするとこの御麻痺は公共化するし担当編集者だ
事実10: もし仮に何らかのものは担当編集者でないか焼き方でないかどちらもだとすればそれは担当編集者でない
事実11: この御麻痺は公共化する

仮説: この御麻痺は担当編集者でない
1. 事実6と事実7から、推論1: "この片開きドアは部位毎である"が導かれる
2. 推論1と事実8から、推論2: "この本村は尤もらしい"が導かれる
3. 推論2から、推論3: "この本村は尤もらしいかあるいはＦＬＡＳＨであるかもしくは両方である"が導かれる
4. 推論3と事実4から、推論4: "その動力車賃金論は担当編集者でない"が導かれる
5. 推論4と事実9から、推論5: "この御麻痺は公共化するししかも担当編集者だ"が導かれる
6. 推論5から、仮説が否定される

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