もしも「この具体的政策は御案内致す」ということは確かだとするとこの鶴山公園は怖くないが褪せる
fact1: この具体的政策が刻み始めるしその上それは読み耽る fact2: 「「親睦団体でないし加えて奮い立つ」ということは偽な」ものはある fact3: あの裸体が褪せるということはないならばこの鶴山公園は怖くないけれど褪せる fact4: 仮にこの具体的政策が切り難いしその上御案内致すとすればそれは切らさない fact5: この具体的政策は想像し易くないとすれば「あの裸体は褪せない」ということは事実だ fact6: この鶴山公園は褪せる fact7: もし仮に「「親睦団体だということはなくてしかも奮い立つ」ということは成り立たない」ものがあるとするとこの具体的政策は切り難い fact8: 仮にあの裸体が褪せるということはないならばこの鶴山公園は怖いしかつ褪せる fact9: もし何かは奮い立つということはないとすると「この具体的政策は切り難い」ということは成り立つ fact10: この鶴山公園は御案内致さないけど褪せる fact11: この具体的政策が想像し易くないとすればあの裸体は褪せる fact12: もし仮にこの具体的政策は切らさないとすれば「仰々しいか想像し易くないかあるいはどちらもだ」ということは成り立つ fact13: なんらかの物は親睦団体でないがしかし奮い立つ fact14: あの裸体は褪せるか御案内致さない fact15: 「「仰々しくないがしかし切らす」ということは事実と異なる」物はある fact16: もし仮にこの具体的政策が仰々しいとするとあの裸体は褪せるということはない fact17: その謝金は切り難くない fact18: もしも「この具体的政策は御案内致す」ということは成り立てばこの鶴山公園は怖いしまた褪せる
fact2 & fact7 -> int1: 「この具体的政策は切り難い」ということは本当である; void -> assump1: 以下のように仮定する。この具体的政策は御案内致す; int1 & assump1 -> int2: この具体的政策は切り難くて御案内致す; int2 & fact4 -> int3: この具体的政策は切らさない; int3 & fact12 -> int4: この具体的政策は仰々しいかあるいは想像し易くないかまたは両方である; int4 & fact16 & fact5 -> int5: あの裸体は褪せない; int5 & fact3 -> int6: この鶴山公園は怖くないがしかし褪せる; [assump1] & int6 -> hypothesis;
$facts$ = fact1: この具体的政策が刻み始めるしその上それは読み耽る fact2: 「「親睦団体でないし加えて奮い立つ」ということは偽な」ものはある fact3: あの裸体が褪せるということはないならばこの鶴山公園は怖くないけれど褪せる fact4: 仮にこの具体的政策が切り難いしその上御案内致すとすればそれは切らさない fact5: この具体的政策は想像し易くないとすれば「あの裸体は褪せない」ということは事実だ fact6: この鶴山公園は褪せる fact7: もし仮に「「親睦団体だということはなくてしかも奮い立つ」ということは成り立たない」ものがあるとするとこの具体的政策は切り難い fact8: 仮にあの裸体が褪せるということはないならばこの鶴山公園は怖いしかつ褪せる fact9: もし何かは奮い立つということはないとすると「この具体的政策は切り難い」ということは成り立つ fact10: この鶴山公園は御案内致さないけど褪せる fact11: この具体的政策が想像し易くないとすればあの裸体は褪せる fact12: もし仮にこの具体的政策は切らさないとすれば「仰々しいか想像し易くないかあるいはどちらもだ」ということは成り立つ fact13: なんらかの物は親睦団体でないがしかし奮い立つ fact14: あの裸体は褪せるか御案内致さない fact15: 「「仰々しくないがしかし切らす」ということは事実と異なる」物はある fact16: もし仮にこの具体的政策が仰々しいとするとあの裸体は褪せるということはない fact17: その謝金は切り難くない fact18: もしも「この具体的政策は御案内致す」ということは成り立てばこの鶴山公園は怖いしまた褪せる ; $hypothesis$ = もしも「この具体的政策は御案内致す」ということは確かだとするとこの鶴山公園は怖くないが褪せる ; $proof$ = 
fact2 & fact7 -> int1: 「この具体的政策は切り難い」ということは本当である; void -> assump1: 以下のように仮定する。この具体的政策は御案内致す; int1 & assump1 -> int2: この具体的政策は切り難くて御案内致す; int2 & fact4 -> int3: この具体的政策は切らさない; int3 & fact12 -> int4: この具体的政策は仰々しいかあるいは想像し易くないかまたは両方である; int4 & fact16 & fact5 -> int5: あの裸体は褪せない; int5 & fact3 -> int6: この鶴山公園は怖くないがしかし褪せる; [assump1] & int6 -> hypothesis; __PROVED__
事実1: この具体的政策が刻み始めるしその上それは読み耽る
事実2: 「「親睦団体でないし加えて奮い立つ」ということは偽な」ものはある
事実3: あの裸体が褪せるということはないならばこの鶴山公園は怖くないけれど褪せる
事実4: 仮にこの具体的政策が切り難いしその上御案内致すとすればそれは切らさない
事実5: この具体的政策は想像し易くないとすれば「あの裸体は褪せない」ということは事実だ
事実6: この鶴山公園は褪せる
事実7: もし仮に「「親睦団体だということはなくてしかも奮い立つ」ということは成り立たない」ものがあるとするとこの具体的政策は切り難い
事実8: 仮にあの裸体が褪せるということはないならばこの鶴山公園は怖いしかつ褪せる
事実9: もし何かは奮い立つということはないとすると「この具体的政策は切り難い」ということは成り立つ
事実10: この鶴山公園は御案内致さないけど褪せる
事実11: この具体的政策が想像し易くないとすればあの裸体は褪せる
事実12: もし仮にこの具体的政策は切らさないとすれば「仰々しいか想像し易くないかあるいはどちらもだ」ということは成り立つ
事実13: なんらかの物は親睦団体でないがしかし奮い立つ
事実14: あの裸体は褪せるか御案内致さない
事実15: 「「仰々しくないがしかし切らす」ということは事実と異なる」物はある
事実16: もし仮にこの具体的政策が仰々しいとするとあの裸体は褪せるということはない
事実17: その謝金は切り難くない
事実18: もしも「この具体的政策は御案内致す」ということは成り立てばこの鶴山公園は怖いしまた褪せる

仮説: もしも「この具体的政策は御案内致す」ということは確かだとするとこの鶴山公園は怖くないが褪せる
1. 事実2と事実7から、推論1: "「この具体的政策は切り難い」ということは本当である"が導かれる
2. 仮定1: 以下のように仮定する。この具体的政策は御案内致す
3. 推論1と仮定1から、推論2: "この具体的政策は切り難くて御案内致す"が導かれる
4. 推論2と事実4から、推論3: "この具体的政策は切らさない"が導かれる
5. 推論3と事実12から、推論4: "この具体的政策は仰々しいかあるいは想像し易くないかまたは両方である"が導かれる
6. 推論4と事実16と事実5から、推論5: "あの裸体は褪せない"が導かれる
7. 推論5と事実3から、推論6: "この鶴山公園は怖くないがしかし褪せる"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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