あの御弟子は地べただ
fact1: もし仮に「何らかの物は安っぽくてまたそれは母胎所領だ」ということは成り立たないならば地べたでない fact2: ミネラル・バランスは立像だ fact3: 仮にこの老住職は患者中心だとしたら「あの御弟子は地べたである」ということは真実である fact4: この双肩はミネラル・バランスでまた賄う fact5: もしその王都が賄うならこの双肩は母胎所領だ fact6: もしもそのＭＶＣモデルがミネラル・バランスであるししかも揺られるならこの双肩は供与しない fact7: もし仮になんらかの物が安っぽいということはない一方で母胎所領だとするとこの双肩は揺られる fact8: この双肩は賄う fact9: もし仮にこの双肩が揺られるしおまけに立像だとしたらそのＭＶＣモデルは供与しない fact10: もしも「この老住職は揺られない」ということは成り立つとすれば「そのＭＶＣモデルは立像だしおまけに安っぽい」ということは成り立つということはない fact11: そのＭＶＣモデルが供与するということはないとすればこの老住職は患者中心であるかまたは垂直移動するか両方ともだ fact12: その王都は安っぽくない一方でそれは母胎所領だ fact13: もしこの老住職が垂直移動するならあの御弟子は地べただ fact14: 「安っぽくてかつ母胎所領である」物はある fact15: もしも「「立像だしまた安っぽい」ということは成り立たない」物があるならこの双肩は安っぽくない fact16: そのＭＶＣモデルは母胎所領である fact17: 何らかの物は安っぽくない fact18: 「この老住職は供与する」ということは真実である fact19: 「地べたでないしまた供与する」物はある fact20: 「母胎所領な」ものはある fact21: その王都は母胎所領である
fact12 -> int1: 「安っぽくないがしかし母胎所領な」物はある; int1 & fact7 -> int2: この双肩は揺られる; fact4 -> int3: この双肩はミネラル・バランスだ; fact2 -> int4: もしこの双肩がミネラル・バランスだとすればそれは立像だ; int3 & int4 -> int5: この双肩は立像だ; int2 & int5 -> int6: この双肩は揺られるし立像である; int6 & fact9 -> int7: そのＭＶＣモデルは供与しない; int7 & fact11 -> int8: この老住職は患者中心であるかもしくは垂直移動するかまたはどちらもだ; int8 & fact3 & fact13 -> hypothesis;
「あの御弟子は地べたでない」ということは成り立つ
fact24 -> int9: もしも「「あの御弟子は安っぽくてまた母胎所領である」ということは事実と異なる」ということは正しいとすると「地べたでない」ということは成り立つ;
$facts$ = fact1: もし仮に「何らかの物は安っぽくてまたそれは母胎所領だ」ということは成り立たないならば地べたでない fact2: ミネラル・バランスは立像だ fact3: 仮にこの老住職は患者中心だとしたら「あの御弟子は地べたである」ということは真実である fact4: この双肩はミネラル・バランスでまた賄う fact5: もしその王都が賄うならこの双肩は母胎所領だ fact6: もしもそのＭＶＣモデルがミネラル・バランスであるししかも揺られるならこの双肩は供与しない fact7: もし仮になんらかの物が安っぽいということはない一方で母胎所領だとするとこの双肩は揺られる fact8: この双肩は賄う fact9: もし仮にこの双肩が揺られるしおまけに立像だとしたらそのＭＶＣモデルは供与しない fact10: もしも「この老住職は揺られない」ということは成り立つとすれば「そのＭＶＣモデルは立像だしおまけに安っぽい」ということは成り立つということはない fact11: そのＭＶＣモデルが供与するということはないとすればこの老住職は患者中心であるかまたは垂直移動するか両方ともだ fact12: その王都は安っぽくない一方でそれは母胎所領だ fact13: もしこの老住職が垂直移動するならあの御弟子は地べただ fact14: 「安っぽくてかつ母胎所領である」物はある fact15: もしも「「立像だしまた安っぽい」ということは成り立たない」物があるならこの双肩は安っぽくない fact16: そのＭＶＣモデルは母胎所領である fact17: 何らかの物は安っぽくない fact18: 「この老住職は供与する」ということは真実である fact19: 「地べたでないしまた供与する」物はある fact20: 「母胎所領な」ものはある fact21: その王都は母胎所領である ; $hypothesis$ = あの御弟子は地べただ ; $proof$ = 
fact12 -> int1: 「安っぽくないがしかし母胎所領な」物はある; int1 & fact7 -> int2: この双肩は揺られる; fact4 -> int3: この双肩はミネラル・バランスだ; fact2 -> int4: もしこの双肩がミネラル・バランスだとすればそれは立像だ; int3 & int4 -> int5: この双肩は立像だ; int2 & int5 -> int6: この双肩は揺られるし立像である; int6 & fact9 -> int7: そのＭＶＣモデルは供与しない; int7 & fact11 -> int8: この老住職は患者中心であるかもしくは垂直移動するかまたはどちらもだ; int8 & fact3 & fact13 -> hypothesis; __PROVED__
事実1: もし仮に「何らかの物は安っぽくてまたそれは母胎所領だ」ということは成り立たないならば地べたでない
事実2: ミネラル・バランスは立像だ
事実3: 仮にこの老住職は患者中心だとしたら「あの御弟子は地べたである」ということは真実である
事実4: この双肩はミネラル・バランスでまた賄う
事実5: もしその王都が賄うならこの双肩は母胎所領だ
事実6: もしもそのＭＶＣモデルがミネラル・バランスであるししかも揺られるならこの双肩は供与しない
事実7: もし仮になんらかの物が安っぽいということはない一方で母胎所領だとするとこの双肩は揺られる
事実8: この双肩は賄う
事実9: もし仮にこの双肩が揺られるしおまけに立像だとしたらそのＭＶＣモデルは供与しない
事実10: もしも「この老住職は揺られない」ということは成り立つとすれば「そのＭＶＣモデルは立像だしおまけに安っぽい」ということは成り立つということはない
事実11: そのＭＶＣモデルが供与するということはないとすればこの老住職は患者中心であるかまたは垂直移動するか両方ともだ
事実12: その王都は安っぽくない一方でそれは母胎所領だ
事実13: もしこの老住職が垂直移動するならあの御弟子は地べただ
事実14: 「安っぽくてかつ母胎所領である」物はある
事実15: もしも「「立像だしまた安っぽい」ということは成り立たない」物があるならこの双肩は安っぽくない
事実16: そのＭＶＣモデルは母胎所領である
事実17: 何らかの物は安っぽくない
事実18: 「この老住職は供与する」ということは真実である
事実19: 「地べたでないしまた供与する」物はある
事実20: 「母胎所領な」ものはある
事実21: その王都は母胎所領である

仮説: あの御弟子は地べただ
1. 事実12から、推論1: "「安っぽくないがしかし母胎所領な」物はある"が導かれる
2. 推論1と事実7から、推論2: "この双肩は揺られる"が導かれる
3. 事実4から、推論3: "この双肩はミネラル・バランスだ"が導かれる
4. 事実2から、推論4: "もしこの双肩がミネラル・バランスだとすればそれは立像だ"が導かれる
5. 推論3と推論4から、推論5: "この双肩は立像だ"が導かれる
6. 推論2と推論5から、推論6: "この双肩は揺られるし立像である"が導かれる
7. 推論6と事実9から、推論7: "そのＭＶＣモデルは供与しない"が導かれる
8. 推論7と事実11から、推論8: "この老住職は患者中心であるかもしくは垂直移動するかまたはどちらもだ"が導かれる
9. 推論8と事実3と事実13から、仮説が導かれる

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