その桜田麩はマハームドラーでない
fact1: もしもこのシチューがマハームドラーならば依頼する fact2: このシチューはマハームドラーである fact3: このビジネス・デザインは裏返る fact4: このシチューは裏返る fact5: もしもこのシチューは一丁上がりであるとするとそれは祭祀儀礼だ fact6: もし「なにかは生産し得るしさらに裏返る」ということは真実であるとすれば「その桜田麩はマハームドラーである」ということは成り立つ fact7: あの部屋住は一丁上がりであるとしたらそれは軽い fact8: 仮にこのシチューは思い出深いとしたら「それは一丁上がりだ」ということは成り立つ fact9: もし仮にこのシチューが思い出深いならそれはマハームドラーである fact10: 何かは思い出深い fact11: もし仮にとあるものが祭祀儀礼であるしそれが生産し得るとしたらこのシチューは思い出深い fact12: 「托鉢する」ものはある fact13: なんらかの物は一丁上がりであるし更にマハームドラーだとすると「その桜田麩は祭祀儀礼である」ということは事実だ fact14: コンパクトサイズは口付ける fact15: 「裏返るし加えて思い出深い」ものはある fact16: 何らかのものは祭祀儀礼で依頼する fact17: その桜田麩は祭祀儀礼である fact18: もしもこのシチューは祭祀儀礼であるならば生産し得る fact19: このシチューは思い出深くてそれに依頼する
fact19 -> int1: このシチューは思い出深い; int1 & fact8 -> int2: このシチューは一丁上がりだ; int2 & fact5 -> int3: このシチューは祭祀儀礼だ; int3 & fact18 -> int4: このシチューは生産し得る; int4 & fact4 -> int5: このシチューは生産し得るし裏返る; int5 -> int6: 「生産し得るし裏返る」物はある; int6 & fact6 -> hypothesis;
もし仮に「あの蜜蜂はコンパクトサイズである」ということは間違いでないならそれは口付ける
fact20 -> hypothesis;
$facts$ = fact1: もしもこのシチューがマハームドラーならば依頼する fact2: このシチューはマハームドラーである fact3: このビジネス・デザインは裏返る fact4: このシチューは裏返る fact5: もしもこのシチューは一丁上がりであるとするとそれは祭祀儀礼だ fact6: もし「なにかは生産し得るしさらに裏返る」ということは真実であるとすれば「その桜田麩はマハームドラーである」ということは成り立つ fact7: あの部屋住は一丁上がりであるとしたらそれは軽い fact8: 仮にこのシチューは思い出深いとしたら「それは一丁上がりだ」ということは成り立つ fact9: もし仮にこのシチューが思い出深いならそれはマハームドラーである fact10: 何かは思い出深い fact11: もし仮にとあるものが祭祀儀礼であるしそれが生産し得るとしたらこのシチューは思い出深い fact12: 「托鉢する」ものはある fact13: なんらかの物は一丁上がりであるし更にマハームドラーだとすると「その桜田麩は祭祀儀礼である」ということは事実だ fact14: コンパクトサイズは口付ける fact15: 「裏返るし加えて思い出深い」ものはある fact16: 何らかのものは祭祀儀礼で依頼する fact17: その桜田麩は祭祀儀礼である fact18: もしもこのシチューは祭祀儀礼であるならば生産し得る fact19: このシチューは思い出深くてそれに依頼する ; $hypothesis$ = その桜田麩はマハームドラーでない ; $proof$ = 
fact19 -> int1: このシチューは思い出深い; int1 & fact8 -> int2: このシチューは一丁上がりだ; int2 & fact5 -> int3: このシチューは祭祀儀礼だ; int3 & fact18 -> int4: このシチューは生産し得る; int4 & fact4 -> int5: このシチューは生産し得るし裏返る; int5 -> int6: 「生産し得るし裏返る」物はある; int6 & fact6 -> hypothesis; __DISPROVED__
事実1: もしもこのシチューがマハームドラーならば依頼する
事実2: このシチューはマハームドラーである
事実3: このビジネス・デザインは裏返る
事実4: このシチューは裏返る
事実5: もしもこのシチューは一丁上がりであるとするとそれは祭祀儀礼だ
事実6: もし「なにかは生産し得るしさらに裏返る」ということは真実であるとすれば「その桜田麩はマハームドラーである」ということは成り立つ
事実7: あの部屋住は一丁上がりであるとしたらそれは軽い
事実8: 仮にこのシチューは思い出深いとしたら「それは一丁上がりだ」ということは成り立つ
事実9: もし仮にこのシチューが思い出深いならそれはマハームドラーである
事実10: 何かは思い出深い
事実11: もし仮にとあるものが祭祀儀礼であるしそれが生産し得るとしたらこのシチューは思い出深い
事実12: 「托鉢する」ものはある
事実13: なんらかの物は一丁上がりであるし更にマハームドラーだとすると「その桜田麩は祭祀儀礼である」ということは事実だ
事実14: コンパクトサイズは口付ける
事実15: 「裏返るし加えて思い出深い」ものはある
事実16: 何らかのものは祭祀儀礼で依頼する
事実17: その桜田麩は祭祀儀礼である
事実18: もしもこのシチューは祭祀儀礼であるならば生産し得る
事実19: このシチューは思い出深くてそれに依頼する

仮説: その桜田麩はマハームドラーでない
1. 事実19から、推論1: "このシチューは思い出深い"が導かれる
2. 推論1と事実8から、推論2: "このシチューは一丁上がりだ"が導かれる
3. 推論2と事実5から、推論3: "このシチューは祭祀儀礼だ"が導かれる
4. 推論3と事実18から、推論4: "このシチューは生産し得る"が導かれる
5. 推論4と事実4から、推論5: "このシチューは生産し得るし裏返る"が導かれる
6. 推論5から、推論6: "「生産し得るし裏返る」物はある"が導かれる
7. 推論6と事実6から、仮説が否定される

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