あの心意気は窺い見ない
fact1: もしなにがしかの物は自然らしいし完了出来るとしたら大型コンピュータでない fact2: ある物が完了出来るし加えて二十パーセント葡萄糖だとすればそれは窺い見ない fact3: このダビングは大型コンピュータでない fact4: あの心意気は大型コンピュータであるけど自然らしくない fact5: あの心意気はおっきい fact6: もし「あの心意気は完了出来るしかつ窺い見る」ということは誤りであるとすればこの西洋哲学は二十パーセント葡萄糖でない fact7: あの心意気は二十パーセント葡萄糖であるししかもリアルさだ fact8: あの心意気は希人で加えて腑甲斐無い fact9: もし何かはリアルさでないとすれば「完了出来るしかつ窺い見る」ということは成り立たない fact10: あの心意気は御忙しいががめつかない fact11: もしあの心意気は生温かくてまた医師等ならそれはリアルさでない fact12: あの心意気が大型コンピュータだけど自然らしくないとするとそれは完了出来る fact13: あの心意気は自然らしくない fact14: あの心意気はリアルさだ fact15: 仮にあの心意気は大型コンピュータで自然らしいとすればそれは完了出来る
fact12 & fact4 -> int1: あの心意気は完了出来る; fact7 -> int2: あの心意気は二十パーセント葡萄糖だ; int1 & int2 -> int3: あの心意気は完了出来るし二十パーセント葡萄糖だ; fact2 -> int4: あの心意気は完了出来るし二十パーセント葡萄糖だとしたらそれは窺い見ない; int3 & int4 -> hypothesis;
この西洋哲学は自然らしいし溜まり易い
fact16 -> int5: あの心意気はリアルさであるということはないなら「それは完了出来るし窺い見る」ということは間違いだ;
$facts$ = fact1: もしなにがしかの物は自然らしいし完了出来るとしたら大型コンピュータでない fact2: ある物が完了出来るし加えて二十パーセント葡萄糖だとすればそれは窺い見ない fact3: このダビングは大型コンピュータでない fact4: あの心意気は大型コンピュータであるけど自然らしくない fact5: あの心意気はおっきい fact6: もし「あの心意気は完了出来るしかつ窺い見る」ということは誤りであるとすればこの西洋哲学は二十パーセント葡萄糖でない fact7: あの心意気は二十パーセント葡萄糖であるししかもリアルさだ fact8: あの心意気は希人で加えて腑甲斐無い fact9: もし何かはリアルさでないとすれば「完了出来るしかつ窺い見る」ということは成り立たない fact10: あの心意気は御忙しいががめつかない fact11: もしあの心意気は生温かくてまた医師等ならそれはリアルさでない fact12: あの心意気が大型コンピュータだけど自然らしくないとするとそれは完了出来る fact13: あの心意気は自然らしくない fact14: あの心意気はリアルさだ fact15: 仮にあの心意気は大型コンピュータで自然らしいとすればそれは完了出来る ; $hypothesis$ = あの心意気は窺い見ない ; $proof$ = 
fact12 & fact4 -> int1: あの心意気は完了出来る; fact7 -> int2: あの心意気は二十パーセント葡萄糖だ; int1 & int2 -> int3: あの心意気は完了出来るし二十パーセント葡萄糖だ; fact2 -> int4: あの心意気は完了出来るし二十パーセント葡萄糖だとしたらそれは窺い見ない; int3 & int4 -> hypothesis; __PROVED__
事実1: もしなにがしかの物は自然らしいし完了出来るとしたら大型コンピュータでない
事実2: ある物が完了出来るし加えて二十パーセント葡萄糖だとすればそれは窺い見ない
事実3: このダビングは大型コンピュータでない
事実4: あの心意気は大型コンピュータであるけど自然らしくない
事実5: あの心意気はおっきい
事実6: もし「あの心意気は完了出来るしかつ窺い見る」ということは誤りであるとすればこの西洋哲学は二十パーセント葡萄糖でない
事実7: あの心意気は二十パーセント葡萄糖であるししかもリアルさだ
事実8: あの心意気は希人で加えて腑甲斐無い
事実9: もし何かはリアルさでないとすれば「完了出来るしかつ窺い見る」ということは成り立たない
事実10: あの心意気は御忙しいががめつかない
事実11: もしあの心意気は生温かくてまた医師等ならそれはリアルさでない
事実12: あの心意気が大型コンピュータだけど自然らしくないとするとそれは完了出来る
事実13: あの心意気は自然らしくない
事実14: あの心意気はリアルさだ
事実15: 仮にあの心意気は大型コンピュータで自然らしいとすればそれは完了出来る

仮説: あの心意気は窺い見ない
1. 事実12と事実4から、推論1: "あの心意気は完了出来る"が導かれる
2. 事実7から、推論2: "あの心意気は二十パーセント葡萄糖だ"が導かれる
3. 推論1と推論2から、推論3: "あの心意気は完了出来るし二十パーセント葡萄糖だ"が導かれる
4. 事実2から、推論4: "あの心意気は完了出来るし二十パーセント葡萄糖だとしたらそれは窺い見ない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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