その神経心理テストはのっぺりしないが聞き取り難い
fact1: もし仮に「「その錬丹は萎びるということはないけれど考え深い」ということは間違っている」ということは事実であるとするとあの運営資金は考え深い fact2: もし仮にあるものは二日以内であるならば「その前年枝は等分しない」ということは成り立つ fact3: もし仮に何かは優し過ぎないし第一原理でないとするとのっぺりしない fact4: その神経心理テストは聞き取り難い fact5: もしも「「見られ易くないしまた如才無くない」ということは間違っている」ものがあるとしたらこの愚かしさは二日以内だ fact6: もし仮にその理論株価が長打力でないとしたらその祇園甲部歌舞練場は慌ただしいしかつ解け易い fact7: 仮にその前年枝が等分するということはないならこの酒食は渋屋でなくてかつ人道援助でない fact8: とあるものが優し過ぎるけどそれは第一原理でないならのっぺりしない fact9: もし仮にその理論株価が狭めるけどそれが開発・販売しないなら長打力でない fact10: 仮にあの運営資金が考え深くないとしたらその神経心理テストは優し過ぎない fact11: もしも何らかのものが施さないとしたらそれはか弱いししかも召還する fact12: もし慌ただしい物が解け易いとすれば施さない fact13: もし「その発電用は一等材でないけれどそれは根気強い」ということは成り立たないならその錬丹は根気強くない fact14: 「あの運営資金はのっぺりする」ということは本当だ fact15: もしも何かは根気強くないとすれば「萎びないし考え深い」ということは間違っている fact16: 何かはか弱いとしたら「見られ易くないし如才無くない」ということは誤っている fact17: もし仮にその神経心理テストが優し過ぎるがしかし第一原理だということはないとしたらのっぺりしない fact18: もし仮にあの運営資金は考え深いとすれば「その神経心理テストはのっぺりしないけれど聞き取り難い」ということは成り立たない fact19: あの運営資金は考え深くない fact20: その神経心理テストは優し過ぎないしその上考え深くない fact21: その神経心理テストは優し過ぎない fact22: もしも何らかのものは選定ならば「一等材でないし加えて根気強い」ということは成り立たない fact23: もしもあの運営資金が考え深くないならばあの神経心理テストは優し過ぎないしその上第一原理でない fact24: その理論株価は狭める一方でそれは開発・販売しない
fact23 & fact19 -> int1: その神経心理テストは優し過ぎないしそれは第一原理でない; fact3 -> int2: もしその神経心理テストは優し過ぎないししかもそれは第一原理でないならのっぺりしない; int1 & int2 -> int3: その神経心理テストはのっぺりしない; int3 & fact4 -> hypothesis;
fact23 & fact19 -> int1: (¬{AA}{b} & ¬{AB}{b}); fact3 -> int2: (¬{AA}{b} & ¬{AB}{b}) -> ¬{B}{b}; int1 & int2 -> int3: ¬{B}{b}; int3 & fact4 -> hypothesis;
「その神経心理テストはのっぺりしないがしかし聞き取り難い」ということは偽である
fact33 -> int4: 仮にその錬丹は根気強くないならば「萎びなくてまた考え深い」ということは成り立つということはない; fact32 -> int5: その発電用は選定であるならば「一等材であるということはないがしかし根気強い」ということは成り立たない; fact27 -> int6: もしその祇園甲部歌舞練場はか弱いならば「見られ易くないしそれに如才無くない」ということは成り立たない; fact37 -> int7: もし仮にその祇園甲部歌舞練場が施さないならばか弱くてまた召還する; fact34 -> int8: もしその祇園甲部歌舞練場は慌ただしいし加えて解け易いとすればそれは施さない; fact35 & fact26 -> int9: 「その理論株価は長打力でない」ということは確かだ; fact25 & int9 -> int10: その祇園甲部歌舞練場は慌ただしくて解け易い; int8 & int10 -> int11: 「「その祇園甲部歌舞練場は施す」ということは成り立つ」ということは成り立たない; int7 & int11 -> int12: その祇園甲部歌舞練場はか弱いし召還する; int12 -> int13: その祇園甲部歌舞練場はか弱い; int6 & int13 -> int14: 「その祇園甲部歌舞練場は見られ易くないしそれは如才無くない」ということは成り立たない; int14 -> int15: 「「見られ易くないし加えて如才無くない」ということは間違っている」ものはある; int15 & fact31 -> int16: この愚かしさは二日以内だ; int16 -> int17: あるものは二日以内だ; int17 & fact28 -> int18: その前年枝は等分しない; fact30 & int18 -> int19: この酒食は渋屋でないしその上それは人道援助であるということはない; int19 -> int20: 「渋屋だということはないし加えて人道援助でない」物はある;
$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: その理論株価は狭める一方でそれは開発・販売しない ; $hypothesis$ = その神経心理テストはのっぺりしないが聞き取り難い ; $proof$ = 
fact23 & fact19 -> int1: その神経心理テストは優し過ぎないしそれは第一原理でない; fact3 -> int2: もしその神経心理テストは優し過ぎないししかもそれは第一原理でないならのっぺりしない; int1 & int2 -> int3: その神経心理テストはのっぺりしない; int3 & fact4 -> 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: その理論株価は狭める一方でそれは開発・販売しない

仮説: その神経心理テストはのっぺりしないが聞き取り難い
1. 事実23と事実19から、推論1: "その神経心理テストは優し過ぎないしそれは第一原理でない"が導かれる
2. 事実3から、推論2: "もしその神経心理テストは優し過ぎないししかもそれは第一原理でないならのっぺりしない"が導かれる
3. 推論1と推論2から、推論3: "その神経心理テストはのっぺりしない"が導かれる
4. 推論3と事実4から、仮説が導かれる

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