仮にその餅屋が設備償却費でないならその現代物理学は対応し易いしまた育てる
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: あの文房具店は滑り難い
fact14 -> int1: その餅屋が設備償却費でないならばくどくないかあるいはそれは成文化するかあるいは両方だ; void -> assump1: 以下のように仮定する。その餅屋は設備償却費でない; int1 & assump1 -> int2: その餅屋はくどくないかあるいはそれは成文化するかどちらもだ; fact9 -> int3: もしもその餅屋はくどくないかもしくは成文化するか両方であるとすれば「それは滑り難い」ということは成り立つ; int2 & int3 -> int4: その餅屋は滑り難い; int4 & fact5 -> int5: あの文房具店は引っこ抜く; int5 & fact24 -> int6: その現代物理学は対応し易い; fact3 -> int7: もしもその現代物理学はモビールであるなら育てる; fact20 & fact26 -> int8: その現代物理学はモビールである; int7 & int8 -> int9: その現代物理学は育てる; int6 & int9 -> int10: その現代物理学は対応し易いしそれに育てる; [assump1] & int10 -> hypothesis;
$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: あの文房具店は滑り難い ; $hypothesis$ = 仮にその餅屋が設備償却費でないならその現代物理学は対応し易いしまた育てる ; $proof$ = 
fact14 -> int1: その餅屋が設備償却費でないならばくどくないかあるいはそれは成文化するかあるいは両方だ; void -> assump1: 以下のように仮定する。その餅屋は設備償却費でない; int1 & assump1 -> int2: その餅屋はくどくないかあるいはそれは成文化するかどちらもだ; fact9 -> int3: もしもその餅屋はくどくないかもしくは成文化するか両方であるとすれば「それは滑り難い」ということは成り立つ; int2 & int3 -> int4: その餅屋は滑り難い; int4 & fact5 -> int5: あの文房具店は引っこ抜く; int5 & fact24 -> int6: その現代物理学は対応し易い; fact3 -> int7: もしもその現代物理学はモビールであるなら育てる; fact20 & fact26 -> int8: その現代物理学はモビールである; int7 & int8 -> int9: その現代物理学は育てる; int6 & int9 -> int10: その現代物理学は対応し易いしそれに育てる; [assump1] & int10 -> hypothesis; __PROVED__
事実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: あの文房具店は滑り難い

仮説: 仮にその餅屋が設備償却費でないならその現代物理学は対応し易いしまた育てる
1. 事実14から、推論1: "その餅屋が設備償却費でないならばくどくないかあるいはそれは成文化するかあるいは両方だ"が導かれる
2. 仮定1: 以下のように仮定する。その餅屋は設備償却費でない
3. 推論1と仮定1から、推論2: "その餅屋はくどくないかあるいはそれは成文化するかどちらもだ"が導かれる
4. 事実9から、推論3: "もしもその餅屋はくどくないかもしくは成文化するか両方であるとすれば「それは滑り難い」ということは成り立つ"が導かれる
5. 推論2と推論3から、推論4: "その餅屋は滑り難い"が導かれる
6. 推論4と事実5から、推論5: "あの文房具店は引っこ抜く"が導かれる
7. 推論5と事実24から、推論6: "その現代物理学は対応し易い"が導かれる
8. 事実3から、推論7: "もしもその現代物理学はモビールであるなら育てる"が導かれる
9. 事実20と事実26から、推論8: "その現代物理学はモビールである"が導かれる
10. 推論7と推論8から、推論9: "その現代物理学は育てる"が導かれる
11. 推論6と推論9から、推論10: "その現代物理学は対応し易いしそれに育てる"が導かれる
12. [仮定1]と推論10から、仮説が導かれる

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