この日の出公園は尖り山である
fact1: 仮に何かは顕微受精でないとすると裁ち落とすし加えて食害する fact2: もし仮にその英名が裁ち落とすとすると食害する fact3: 仮にその六箇月児は行き難いならば「その焙じ茶は行き難い」ということは正しい fact4: そのローン契約が積み藁だとしたらその六箇月児は積み藁だ fact5: もしもなんらかのものが顕微受精でないしその上美味しかないとすると「尖り山である」ということは本当だ fact6: もしもある物は積み藁であるとすればそれは行き難い fact7: もしあの旅行代理店従業員役が裁ち落とせばその英名は美味しい fact8: あの旅行代理店従業員役は食害するかまたは行き難いということはないかもしくは両方だ fact9: あるものは割り出せるなら「それは顕微受精である」ということは本当である fact10: なんらかの物が特別休暇でないとすると割り出せるかもしくはほろ苦い fact11: 仮にその太郎は抱うなら「「それは拘束しないしその上それは特別休暇である」ということは事実である」ということは確かでない fact12: もし仮に「その太郎は拘束しないが特別休暇だ」ということは成り立たないとすれば特別休暇でない fact13: もし仮にその太郎がほろ苦くないかまたは顕微受精であるかあるいは両方ともならこの日の出公園は顕微受精だということはない fact14: あの旅行代理店従業員役は食害するかそれは行き難くないか両方なら「その英名は食害するということはない」ということは事実である fact15: この再生産論は顕微受精だということはない fact16: もしもこの日の出公園は美味しいとすると「その英名は裁ち落とす」ということは成り立つ fact17: 仮にその太郎が顕微受精であるしまた行き難いとしたらあの旅行代理店従業員役は顕微受精でない fact18: その太郎は抱う fact19: その太郎はほろ苦くないかもしくは顕微受精だ fact20: 仮にその焙じ茶が行き難いとすればあの太郎は行き難い fact21: 「そのローン契約は積み藁でないしそれにテンＮＧでない」ということは成り立たないなら「積み藁だ」ということは真実だ fact22: もし仮にその英名が美味しいとしたらこの日の出公園は尖り山でない
void -> assump1: 以下のように仮定する。この日の出公園は美味しい; fact16 & assump1 -> int1: その英名は裁ち落とす; int1 & fact2 -> int2: その英名は食害する; fact14 & fact8 -> int3: その英名は食害しない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この日の出公園は美味しいということはない; fact13 & fact19 -> int6: この日の出公園は顕微受精でない; int5 & int6 -> int7: この日の出公園は顕微受精であるということはないしその上美味しいということはない; fact5 -> int8: 仮にこの日の出公園は顕微受精でなくて美味しいということはないとしたら尖り山だ; int7 & int8 -> hypothesis;
この日の出公園は尖り山でない
fact29 -> int9: もしあの旅行代理店従業員役は顕微受精でないならば裁ち落とすし加えて食害する; fact28 -> int10: 仮にその太郎が特別休暇でないとすれば割り出せるかそれはほろ苦いかどちらもである; fact34 & fact35 -> int11: 「「その太郎は拘束しないがしかし特別休暇である」ということは間違いだ」ということは成り立つ; fact33 & int11 -> int12: その太郎は特別休暇でない; int10 & int12 -> int13: その太郎は割り出せるかあるいはほろ苦いかどちらもだ; fact30 -> int14: もし「その太郎は割り出せる」ということは真実であるとするとそれは顕微受精である; fact32 -> int15: その六箇月児は積み藁であるならそれは行き難い;
$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: 以下のように仮定する。この日の出公園は美味しい; fact16 & assump1 -> int1: その英名は裁ち落とす; int1 & fact2 -> int2: その英名は食害する; fact14 & fact8 -> int3: その英名は食害しない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この日の出公園は美味しいということはない; fact13 & fact19 -> int6: この日の出公園は顕微受精でない; int5 & int6 -> int7: この日の出公園は顕微受精であるということはないしその上美味しいということはない; fact5 -> int8: 仮にこの日の出公園は顕微受精でなくて美味しいということはないとしたら尖り山だ; int7 & int8 -> 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. 事実16と仮定1から、推論1: "その英名は裁ち落とす"が導かれる
3. 推論1と事実2から、推論2: "その英名は食害する"が導かれる
4. 事実14と事実8から、推論3: "その英名は食害しない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この日の出公園は美味しいということはない"が導かれる
7. 事実13と事実19から、推論6: "この日の出公園は顕微受精でない"が導かれる
8. 推論5と推論6から、推論7: "この日の出公園は顕微受精であるということはないしその上美味しいということはない"が導かれる
9. 事実5から、推論8: "仮にこの日の出公園は顕微受精でなくて美味しいということはないとしたら尖り山だ"が導かれる
10. 推論7と推論8から、仮説が導かれる

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