あの楷は阿呆らしい
fact1: もしなんらかの物が尤もらしくないけれど眩しさであるならこのプライミングは惜しみ無い fact2: 「尤もらしくない一方で阿呆らしい」物はある fact3: もしつべたいということはないものがんするとするとこのビネガーは惜しみ無い fact4: もし仮にこのビネガーが概算保険料だししかもそれはんすればそれは名高くない fact5: 仮になんらかのものが阿呆らしくないけれど概算保険料であるならあの楷はつべたい fact6: もし仮にこのプライミングが惜しみ無いとするとあの楷は阿呆らしい fact7: その褐藻は惜しみ無いということはないがしかし眩しさである fact8: もしあの楷は名高いがしかし尤もらしくないならそれはつべたくない fact9: もし仮にその褐藻はつべたくないとしたら尤もらしくないけれど眩しさである fact10: もし仮にその褐藻がつべたいならばあのビネガーは名高い fact11: このビネガーは関係深い fact12: その褐藻は照らす fact13: このビネガーはつべたい fact14: このビネガーは概算保険料だしそれにんする fact15: このプライミングは阿呆らしい
void -> assump1: 以下のように仮定する。その褐藻はつべたい; fact10 & assump1 -> int1: このビネガーは名高い; fact4 & fact14 -> int2: このビネガーは名高くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その褐藻はつべたくない」ということは確かである; int4 & fact9 -> int5: その褐藻は尤もらしくないがしかし眩しさだ; int5 -> int6: 何らかの物は尤もらしくないがそれは眩しさである; int6 & fact1 -> int7: このプライミングは惜しみ無い; int7 & fact6 -> hypothesis;
あの楷は阿呆らしいということはない
$facts$ = fact1: もしなんらかの物が尤もらしくないけれど眩しさであるならこのプライミングは惜しみ無い fact2: 「尤もらしくない一方で阿呆らしい」物はある fact3: もしつべたいということはないものがんするとするとこのビネガーは惜しみ無い fact4: もし仮にこのビネガーが概算保険料だししかもそれはんすればそれは名高くない fact5: 仮になんらかのものが阿呆らしくないけれど概算保険料であるならあの楷はつべたい fact6: もし仮にこのプライミングが惜しみ無いとするとあの楷は阿呆らしい fact7: その褐藻は惜しみ無いということはないがしかし眩しさである fact8: もしあの楷は名高いがしかし尤もらしくないならそれはつべたくない fact9: もし仮にその褐藻はつべたくないとしたら尤もらしくないけれど眩しさである fact10: もし仮にその褐藻がつべたいならばあのビネガーは名高い fact11: このビネガーは関係深い fact12: その褐藻は照らす fact13: このビネガーはつべたい fact14: このビネガーは概算保険料だしそれにんする fact15: このプライミングは阿呆らしい ; $hypothesis$ = あの楷は阿呆らしい ; $proof$ = 
void -> assump1: 以下のように仮定する。その褐藻はつべたい; fact10 & assump1 -> int1: このビネガーは名高い; fact4 & fact14 -> int2: このビネガーは名高くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その褐藻はつべたくない」ということは確かである; int4 & fact9 -> int5: その褐藻は尤もらしくないがしかし眩しさだ; int5 -> int6: 何らかの物は尤もらしくないがそれは眩しさである; int6 & fact1 -> int7: このプライミングは惜しみ無い; int7 & fact6 -> hypothesis; __PROVED__
事実1: もしなんらかの物が尤もらしくないけれど眩しさであるならこのプライミングは惜しみ無い
事実2: 「尤もらしくない一方で阿呆らしい」物はある
事実3: もしつべたいということはないものがんするとするとこのビネガーは惜しみ無い
事実4: もし仮にこのビネガーが概算保険料だししかもそれはんすればそれは名高くない
事実5: 仮になんらかのものが阿呆らしくないけれど概算保険料であるならあの楷はつべたい
事実6: もし仮にこのプライミングが惜しみ無いとするとあの楷は阿呆らしい
事実7: その褐藻は惜しみ無いということはないがしかし眩しさである
事実8: もしあの楷は名高いがしかし尤もらしくないならそれはつべたくない
事実9: もし仮にその褐藻はつべたくないとしたら尤もらしくないけれど眩しさである
事実10: もし仮にその褐藻がつべたいならばあのビネガーは名高い
事実11: このビネガーは関係深い
事実12: その褐藻は照らす
事実13: このビネガーはつべたい
事実14: このビネガーは概算保険料だしそれにんする
事実15: このプライミングは阿呆らしい

仮説: あの楷は阿呆らしい
1. 仮定1: 以下のように仮定する。その褐藻はつべたい
2. 事実10と仮定1から、推論1: "このビネガーは名高い"が導かれる
3. 事実4と事実14から、推論2: "このビネガーは名高くない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「その褐藻はつべたくない」ということは確かである"が導かれる
6. 推論4と事実9から、推論5: "その褐藻は尤もらしくないがしかし眩しさだ"が導かれる
7. 推論5から、推論6: "何らかの物は尤もらしくないがそれは眩しさである"が導かれる
8. 推論6と事実1から、推論7: "このプライミングは惜しみ無い"が導かれる
9. 推論7と事実6から、仮説が導かれる

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