そのぱが楽しむならその庚申丸は出来難い
fact1: 来難くない物は餅菜である fact2: もし何かは餅菜でないなら楽しむしその上それは来難い fact3: そのぱは直観である fact4: そのぱは出来難い fact5: もしそのぱが出来難いとすればその庚申丸は楽しむ fact6: もしもなにがしかの物が楽しまないならばスタグフレーションであるし出来難い fact7: その庚申丸はスタグフレーションでない fact8: そのぱがスタグフレーションでないとすればそれは楽しむしかつ出来難い fact9: 仮にそのぱが楽しむかそれがスタグフレーションであるとすればその庚申丸は来難くない fact10: もしもそのぱが来難いかそれが餅菜であるか両方だとするとその庚申丸はスタグフレーションでない fact11: そのぱは切り売りするしその上出来難い fact12: その市町村役場は来難い fact13: その庚申丸はプレゼンテーション資料だ fact14: 仮にそのぱが来難いかまたは楽しむならその庚申丸は出来難くない fact15: そのぱはスタグフレーションだ fact16: その日本外交はスタグフレーションである fact17: もしもその庚申丸が楽しまないとしたらそれは餅菜である fact18: 仮にその庚申丸が楽しむかもしくはスタグフレーションであるかまたはどちらもであるとしたらそのぱは来難くない fact19: そのぱは餅菜である fact20: もしその庚申丸がスタグフレーションであるかまたは出来難いかまたは両方ならばあのぱは楽しまない fact21: もし仮に「その庚申丸はスタグフレーションであるかもしくはそれは楽しむかあるいは両方ともだ」ということは事実だとしたらそのぱは来難いということはない fact22: 来難くない物は餅菜であるしまた出来難い
void -> assump1: 以下のように仮定する。そのぱは楽しむ; assump1 -> int1: そのぱは楽しむかそれはスタグフレーションだ; int1 & fact9 -> int2: その庚申丸は来難くない; fact22 -> int3: もしもその庚申丸が来難くないならそれは餅菜であるしかつそれは出来難い; int2 & int3 -> int4: その庚申丸は餅菜でかつそれは出来難い; int4 -> int5: その庚申丸は出来難い; [assump1] & int5 -> hypothesis;
$facts$ = fact1: 来難くない物は餅菜である fact2: もし何かは餅菜でないなら楽しむしその上それは来難い fact3: そのぱは直観である fact4: そのぱは出来難い fact5: もしそのぱが出来難いとすればその庚申丸は楽しむ fact6: もしもなにがしかの物が楽しまないならばスタグフレーションであるし出来難い fact7: その庚申丸はスタグフレーションでない fact8: そのぱがスタグフレーションでないとすればそれは楽しむしかつ出来難い fact9: 仮にそのぱが楽しむかそれがスタグフレーションであるとすればその庚申丸は来難くない fact10: もしもそのぱが来難いかそれが餅菜であるか両方だとするとその庚申丸はスタグフレーションでない fact11: そのぱは切り売りするしその上出来難い fact12: その市町村役場は来難い fact13: その庚申丸はプレゼンテーション資料だ fact14: 仮にそのぱが来難いかまたは楽しむならその庚申丸は出来難くない fact15: そのぱはスタグフレーションだ fact16: その日本外交はスタグフレーションである fact17: もしもその庚申丸が楽しまないとしたらそれは餅菜である fact18: 仮にその庚申丸が楽しむかもしくはスタグフレーションであるかまたはどちらもであるとしたらそのぱは来難くない fact19: そのぱは餅菜である fact20: もしその庚申丸がスタグフレーションであるかまたは出来難いかまたは両方ならばあのぱは楽しまない fact21: もし仮に「その庚申丸はスタグフレーションであるかもしくはそれは楽しむかあるいは両方ともだ」ということは事実だとしたらそのぱは来難いということはない fact22: 来難くない物は餅菜であるしまた出来難い ; $hypothesis$ = そのぱが楽しむならその庚申丸は出来難い ; $proof$ = 
void -> assump1: 以下のように仮定する。そのぱは楽しむ; assump1 -> int1: そのぱは楽しむかそれはスタグフレーションだ; int1 & fact9 -> int2: その庚申丸は来難くない; fact22 -> int3: もしもその庚申丸が来難くないならそれは餅菜であるしかつそれは出来難い; int2 & int3 -> int4: その庚申丸は餅菜でかつそれは出来難い; int4 -> int5: その庚申丸は出来難い; [assump1] & int5 -> hypothesis; __PROVED__
事実1: 来難くない物は餅菜である
事実2: もし何かは餅菜でないなら楽しむしその上それは来難い
事実3: そのぱは直観である
事実4: そのぱは出来難い
事実5: もしそのぱが出来難いとすればその庚申丸は楽しむ
事実6: もしもなにがしかの物が楽しまないならばスタグフレーションであるし出来難い
事実7: その庚申丸はスタグフレーションでない
事実8: そのぱがスタグフレーションでないとすればそれは楽しむしかつ出来難い
事実9: 仮にそのぱが楽しむかそれがスタグフレーションであるとすればその庚申丸は来難くない
事実10: もしもそのぱが来難いかそれが餅菜であるか両方だとするとその庚申丸はスタグフレーションでない
事実11: そのぱは切り売りするしその上出来難い
事実12: その市町村役場は来難い
事実13: その庚申丸はプレゼンテーション資料だ
事実14: 仮にそのぱが来難いかまたは楽しむならその庚申丸は出来難くない
事実15: そのぱはスタグフレーションだ
事実16: その日本外交はスタグフレーションである
事実17: もしもその庚申丸が楽しまないとしたらそれは餅菜である
事実18: 仮にその庚申丸が楽しむかもしくはスタグフレーションであるかまたはどちらもであるとしたらそのぱは来難くない
事実19: そのぱは餅菜である
事実20: もしその庚申丸がスタグフレーションであるかまたは出来難いかまたは両方ならばあのぱは楽しまない
事実21: もし仮に「その庚申丸はスタグフレーションであるかもしくはそれは楽しむかあるいは両方ともだ」ということは事実だとしたらそのぱは来難いということはない
事実22: 来難くない物は餅菜であるしまた出来難い

仮説: そのぱが楽しむならその庚申丸は出来難い
1. 仮定1: 以下のように仮定する。そのぱは楽しむ
2. 仮定1から、推論1: "そのぱは楽しむかそれはスタグフレーションだ"が導かれる
3. 推論1と事実9から、推論2: "その庚申丸は来難くない"が導かれる
4. 事実22から、推論3: "もしもその庚申丸が来難くないならそれは餅菜であるしかつそれは出来難い"が導かれる
5. 推論2と推論3から、推論4: "その庚申丸は餅菜でかつそれは出来難い"が導かれる
6. 推論4から、推論5: "その庚申丸は出来難い"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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