この世界最高水準は文献学だがしかしそれは罹病率でない
fact1: その収入・支出は特定施設なら「「その浪花節は混ずる一方でそれはテンメンジャンでない」ということは嘘である」ということは成り立つ fact2: もし「その両グループは淘汰しないけど滑り易い」ということは真実であるとするとこの小学校就学前は淘汰しない fact3: 仮に「「老松でなくて物悲しい」ということは間違っている」物があるとするとこの小学校就学前は物悲しくない fact4: もし仮にこの小学校就学前が手取り除草であるということはないしさらに物悲しくないとするとあの御本社は手取り除草である fact5: 仮に「何かは弱体化しないけどそれは数値化する」ということは成り立たないならばそれは堅苦しくない fact6: もし仮にこの失文法が特定施設であるとすればあの収入・支出は特定施設である fact7: この失文法は単純作業であるし更に起き易い fact8: この世界最高水準は文献学だ一方で罹病率でない fact9: 「この旗本達は弱体化するということはないけれどそれは数値化する」ということは誤っている fact10: もし何かは淘汰するということはないとしたら昇天するということはないし手取り除草でない fact11: もし仮に「あの御本社は見え透くということはないしかつ女子社員でない」ということは事実と異なるとするとこの世界最高水準は女子社員でない fact12: もし仮にこの世界最高水準が女子社員でないならその美林は御灸であるが八分目でない fact13: 何らかの物は手取り除草ならば「見え透かないしそれに女子社員でない」ということは間違っている fact14: もしこの失文法が眠たいとするとその収入・支出は特定施設である fact15: もしもこの失文法が単純作業だしさらに起き易いならそれは手際良くない fact16: 仮に「この旗本達は堅苦しくない」ということは本当であるならばその両グループは淘汰するということはないが滑り易い fact17: もし何らかのものは混ずるということはないとすると「それは老松でなくてかつ物悲しい」ということは偽だ fact18: 仮に「なにかは混ずるけどテンメンジャンでない」ということは間違っていれば混ぜない fact19: この失文法が手際良くないとしたらそれは特定施設であるか眠たいかあるいはどちらもだ
fact8 -> hypothesis;
fact8 -> hypothesis;
その美林は御灸である一方で八分目だということはない
fact23 -> int1: 仮にあの御本社は手取り除草なら「見え透かないし女子社員だということはない」ということは事実と異なる; fact21 -> int2: この小学校就学前が淘汰しないなら昇天しないしそれに手取り除草でない; fact22 -> int3: もし仮に「この旗本達は弱体化しないが数値化する」ということは間違っているとすると堅苦しくない; int3 & fact31 -> int4: この旗本達は堅苦しくない; fact20 & int4 -> int5: その両グループは淘汰するということはないけどそれは滑り易い; fact25 & int5 -> int6: この小学校就学前は淘汰しない; int2 & int6 -> int7: この小学校就学前は昇天しないし加えて手取り除草でない; int7 -> int8: この小学校就学前は手取り除草だということはない; fact29 -> int9: もし仮にその浪花節は混ぜないとしたら「それは老松でないがしかし物悲しい」ということは確かでない; fact26 -> int10: もし仮に「その浪花節は混ずるけれどテンメンジャンでない」ということは正しくないとすると混ぜない; fact37 & fact28 -> int11: 「この失文法は手際良くない」ということは成り立つ; fact24 & int11 -> int12: 「この失文法は特定施設であるか眠たい」ということは嘘でない; int12 & fact35 & fact27 -> int13: その収入・支出は特定施設である; fact34 & int13 -> int14: 「その浪花節は混ずるがしかしテンメンジャンでない」ということは事実でない; int10 & int14 -> int15: その浪花節は混ぜない; int9 & int15 -> int16: 「その浪花節は老松でないが物悲しい」ということは間違っている; int16 -> int17: 「「老松だということはないし物悲しい」ということは誤っている」ものはある; int17 & fact36 -> int18: この小学校就学前は物悲しくない; int8 & int18 -> int19: この小学校就学前は手取り除草でなくてそれは物悲しくない; fact32 & int19 -> int20: あの御本社は手取り除草である; int1 & int20 -> int21: 「あの御本社は見え透かなくておまけに女子社員でない」ということは間違いだ; fact30 & int21 -> int22: この世界最高水準は女子社員だということはない; fact33 & int22 -> hypothesis;
$facts$ = fact1: その収入・支出は特定施設なら「「その浪花節は混ずる一方でそれはテンメンジャンでない」ということは嘘である」ということは成り立つ fact2: もし「その両グループは淘汰しないけど滑り易い」ということは真実であるとするとこの小学校就学前は淘汰しない fact3: 仮に「「老松でなくて物悲しい」ということは間違っている」物があるとするとこの小学校就学前は物悲しくない fact4: もし仮にこの小学校就学前が手取り除草であるということはないしさらに物悲しくないとするとあの御本社は手取り除草である fact5: 仮に「何かは弱体化しないけどそれは数値化する」ということは成り立たないならばそれは堅苦しくない fact6: もし仮にこの失文法が特定施設であるとすればあの収入・支出は特定施設である fact7: この失文法は単純作業であるし更に起き易い fact8: この世界最高水準は文献学だ一方で罹病率でない fact9: 「この旗本達は弱体化するということはないけれどそれは数値化する」ということは誤っている fact10: もし何かは淘汰するということはないとしたら昇天するということはないし手取り除草でない fact11: もし仮に「あの御本社は見え透くということはないしかつ女子社員でない」ということは事実と異なるとするとこの世界最高水準は女子社員でない fact12: もし仮にこの世界最高水準が女子社員でないならその美林は御灸であるが八分目でない fact13: 何らかの物は手取り除草ならば「見え透かないしそれに女子社員でない」ということは間違っている fact14: もしこの失文法が眠たいとするとその収入・支出は特定施設である fact15: もしもこの失文法が単純作業だしさらに起き易いならそれは手際良くない fact16: 仮に「この旗本達は堅苦しくない」ということは本当であるならばその両グループは淘汰するということはないが滑り易い fact17: もし何らかのものは混ずるということはないとすると「それは老松でなくてかつ物悲しい」ということは偽だ fact18: 仮に「なにかは混ずるけどテンメンジャンでない」ということは間違っていれば混ぜない fact19: この失文法が手際良くないとしたらそれは特定施設であるか眠たいかあるいはどちらもだ ; $hypothesis$ = この世界最高水準は文献学だがしかしそれは罹病率でない ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: その収入・支出は特定施設なら「「その浪花節は混ずる一方でそれはテンメンジャンでない」ということは嘘である」ということは成り立つ
事実2: もし「その両グループは淘汰しないけど滑り易い」ということは真実であるとするとこの小学校就学前は淘汰しない
事実3: 仮に「「老松でなくて物悲しい」ということは間違っている」物があるとするとこの小学校就学前は物悲しくない
事実4: もし仮にこの小学校就学前が手取り除草であるということはないしさらに物悲しくないとするとあの御本社は手取り除草である
事実5: 仮に「何かは弱体化しないけどそれは数値化する」ということは成り立たないならばそれは堅苦しくない
事実6: もし仮にこの失文法が特定施設であるとすればあの収入・支出は特定施設である
事実7: この失文法は単純作業であるし更に起き易い
事実8: この世界最高水準は文献学だ一方で罹病率でない
事実9: 「この旗本達は弱体化するということはないけれどそれは数値化する」ということは誤っている
事実10: もし何かは淘汰するということはないとしたら昇天するということはないし手取り除草でない
事実11: もし仮に「あの御本社は見え透くということはないしかつ女子社員でない」ということは事実と異なるとするとこの世界最高水準は女子社員でない
事実12: もし仮にこの世界最高水準が女子社員でないならその美林は御灸であるが八分目でない
事実13: 何らかの物は手取り除草ならば「見え透かないしそれに女子社員でない」ということは間違っている
事実14: もしこの失文法が眠たいとするとその収入・支出は特定施設である
事実15: もしもこの失文法が単純作業だしさらに起き易いならそれは手際良くない
事実16: 仮に「この旗本達は堅苦しくない」ということは本当であるならばその両グループは淘汰するということはないが滑り易い
事実17: もし何らかのものは混ずるということはないとすると「それは老松でなくてかつ物悲しい」ということは偽だ
事実18: 仮に「なにかは混ずるけどテンメンジャンでない」ということは間違っていれば混ぜない
事実19: この失文法が手際良くないとしたらそれは特定施設であるか眠たいかあるいはどちらもだ

仮説: この世界最高水準は文献学だがしかしそれは罹病率でない
1. 事実8から、仮説が導かれる

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