このまたぎはＯＶＳだ
fact1: 輝かしいということはない物はＯＶＳでない fact2: この調査対象者は輝かしいかあるいは返還請求出来るかまたは両方だ fact3: もしあの御所様が美しくないがしかしそれが薄汚いとしたらこの工作物は聞き取り易い fact4: もし仮にあの御所様が出現しないならばこの工作物は薄汚いしおまけに美しい fact5: もしもこの工作物は学乳なら「この調査対象者は輝かしい一方でそれは返還請求出来ない」ということは間違いである fact6: このまたぎはＯＶＳであるかあるいはそれは輝かしいかまたは両方である fact7: 仮にこの工作物が薄汚いとするとそれは聞き取り易い fact8: もし「この調査対象者は輝かしい」ということは事実であるならばこのまたぎはＯＶＳだ fact9: あの御所様は出現しない fact10: 仮にこの調査対象者が返還請求出来るとすればこのまたぎはＯＶＳだ
fact2 & fact8 & fact10 -> hypothesis;
fact2 & fact8 & fact10 -> hypothesis;
このまたぎはＯＶＳでない
$facts$ = fact1: 輝かしいということはない物はＯＶＳでない fact2: この調査対象者は輝かしいかあるいは返還請求出来るかまたは両方だ fact3: もしあの御所様が美しくないがしかしそれが薄汚いとしたらこの工作物は聞き取り易い fact4: もし仮にあの御所様が出現しないならばこの工作物は薄汚いしおまけに美しい fact5: もしもこの工作物は学乳なら「この調査対象者は輝かしい一方でそれは返還請求出来ない」ということは間違いである fact6: このまたぎはＯＶＳであるかあるいはそれは輝かしいかまたは両方である fact7: 仮にこの工作物が薄汚いとするとそれは聞き取り易い fact8: もし「この調査対象者は輝かしい」ということは事実であるならばこのまたぎはＯＶＳだ fact9: あの御所様は出現しない fact10: 仮にこの調査対象者が返還請求出来るとすればこのまたぎはＯＶＳだ ; $hypothesis$ = このまたぎはＯＶＳだ ; $proof$ = 
fact2 & fact8 & fact10 -> hypothesis; __PROVED__
事実1: 輝かしいということはない物はＯＶＳでない
事実2: この調査対象者は輝かしいかあるいは返還請求出来るかまたは両方だ
事実3: もしあの御所様が美しくないがしかしそれが薄汚いとしたらこの工作物は聞き取り易い
事実4: もし仮にあの御所様が出現しないならばこの工作物は薄汚いしおまけに美しい
事実5: もしもこの工作物は学乳なら「この調査対象者は輝かしい一方でそれは返還請求出来ない」ということは間違いである
事実6: このまたぎはＯＶＳであるかあるいはそれは輝かしいかまたは両方である
事実7: 仮にこの工作物が薄汚いとするとそれは聞き取り易い
事実8: もし「この調査対象者は輝かしい」ということは事実であるならばこのまたぎはＯＶＳだ
事実9: あの御所様は出現しない
事実10: 仮にこの調査対象者が返還請求出来るとすればこのまたぎはＯＶＳだ

仮説: このまたぎはＯＶＳだ
1. 事実2と事実8と事実10から、仮説が導かれる

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