あの軒端は探査するがしかしそれは享楽でない
fact1: 青くない物はややこしくないがしかし摘み上げる fact2: あの聞こえが丸っこいならばそれは出し切れる fact3: もし仮にあの預かり保育が懐かしいならばあの軒端は懐かしい fact4: 仮にある物は悩ましくないなら「それは探査するしかつ享楽でない」ということは間違いだ fact5: もしあの預かり保育が享楽だとしたらあの軒端は探査する一方で享楽でない fact6: もしもややこしくないものが摘み上げるとすると悩ましくない fact7: 「あの預かり保育は悩ましい」ということは正しい fact8: 「あの預かり保育は摘み上げる」ということは事実ならあの軒端は悩ましい fact9: あの預かり保育は探査する fact10: もしも「あの聞こえは出し切れる」ということは本当ならあの預かり保育は懐かしい fact11: もし「そのクリームは若しないししかもややこしくない」ということは成り立たないとするとあの聞こえはややこしい fact12: そのお好み焼きは探査する fact13: ややこしいということはないものは悩ましいしそれに摘み上げる fact14: あの軒端は絞り込めるししかも動き易い fact15: なにがしかのものは懐かしいなら「それは使用し難い一方で若しない」ということは間違っている fact16: もしも「あの預かり保育は享楽である」ということは成り立つなら「あの軒端は探査する」ということは成り立つ fact17: もし仮にあの預かり保育が混同し易いならばあの軒端は悩ましいが混同し易いということはない fact18: 若し物は青くない fact19: あの軒端は探査する fact20: もし「何らかのものは使用し難いがしかし若しない」ということは成り立たないとしたらそれは若し fact21: あの預かり保育は悩ましいしかつ享楽だ
fact21 -> int1: 「あの預かり保育は享楽である」ということは確かだ; int1 & fact5 -> hypothesis;
「あの軒端は探査する一方で享楽でない」ということは誤っている
$facts$ = fact1: 青くない物はややこしくないがしかし摘み上げる fact2: あの聞こえが丸っこいならばそれは出し切れる fact3: もし仮にあの預かり保育が懐かしいならばあの軒端は懐かしい fact4: 仮にある物は悩ましくないなら「それは探査するしかつ享楽でない」ということは間違いだ fact5: もしあの預かり保育が享楽だとしたらあの軒端は探査する一方で享楽でない fact6: もしもややこしくないものが摘み上げるとすると悩ましくない fact7: 「あの預かり保育は悩ましい」ということは正しい fact8: 「あの預かり保育は摘み上げる」ということは事実ならあの軒端は悩ましい fact9: あの預かり保育は探査する fact10: もしも「あの聞こえは出し切れる」ということは本当ならあの預かり保育は懐かしい fact11: もし「そのクリームは若しないししかもややこしくない」ということは成り立たないとするとあの聞こえはややこしい fact12: そのお好み焼きは探査する fact13: ややこしいということはないものは悩ましいしそれに摘み上げる fact14: あの軒端は絞り込めるししかも動き易い fact15: なにがしかのものは懐かしいなら「それは使用し難い一方で若しない」ということは間違っている fact16: もしも「あの預かり保育は享楽である」ということは成り立つなら「あの軒端は探査する」ということは成り立つ fact17: もし仮にあの預かり保育が混同し易いならばあの軒端は悩ましいが混同し易いということはない fact18: 若し物は青くない fact19: あの軒端は探査する fact20: もし「何らかのものは使用し難いがしかし若しない」ということは成り立たないとしたらそれは若し fact21: あの預かり保育は悩ましいしかつ享楽だ ; $hypothesis$ = あの軒端は探査するがしかしそれは享楽でない ; $proof$ = 
fact21 -> int1: 「あの預かり保育は享楽である」ということは確かだ; int1 & fact5 -> hypothesis; __PROVED__
事実1: 青くない物はややこしくないがしかし摘み上げる
事実2: あの聞こえが丸っこいならばそれは出し切れる
事実3: もし仮にあの預かり保育が懐かしいならばあの軒端は懐かしい
事実4: 仮にある物は悩ましくないなら「それは探査するしかつ享楽でない」ということは間違いだ
事実5: もしあの預かり保育が享楽だとしたらあの軒端は探査する一方で享楽でない
事実6: もしもややこしくないものが摘み上げるとすると悩ましくない
事実7: 「あの預かり保育は悩ましい」ということは正しい
事実8: 「あの預かり保育は摘み上げる」ということは事実ならあの軒端は悩ましい
事実9: あの預かり保育は探査する
事実10: もしも「あの聞こえは出し切れる」ということは本当ならあの預かり保育は懐かしい
事実11: もし「そのクリームは若しないししかもややこしくない」ということは成り立たないとするとあの聞こえはややこしい
事実12: そのお好み焼きは探査する
事実13: ややこしいということはないものは悩ましいしそれに摘み上げる
事実14: あの軒端は絞り込めるししかも動き易い
事実15: なにがしかのものは懐かしいなら「それは使用し難い一方で若しない」ということは間違っている
事実16: もしも「あの預かり保育は享楽である」ということは成り立つなら「あの軒端は探査する」ということは成り立つ
事実17: もし仮にあの預かり保育が混同し易いならばあの軒端は悩ましいが混同し易いということはない
事実18: 若し物は青くない
事実19: あの軒端は探査する
事実20: もし「何らかのものは使用し難いがしかし若しない」ということは成り立たないとしたらそれは若し
事実21: あの預かり保育は悩ましいしかつ享楽だ

仮説: あの軒端は探査するがしかしそれは享楽でない
1. 事実21から、推論1: "「あの預かり保育は享楽である」ということは確かだ"が導かれる
2. 推論1と事実5から、仮説が導かれる

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