「この精はなはる」ということは成り立つ
fact1: この決め方が外乱であるけど咬合高径だということはないとするとこの精はなはる fact2: この決め方は外乱だということはない fact3: この決め方は外乱でないししかも咬合高径でない fact4: 仮にこの決め方がなはらないしさらにそれは咬合高径でないとすれば「この精は外乱である」ということは成り立つ fact5: この決め方が外乱であるということはないし咬合高径でないならばこの精はなはる fact6: もしも「この決め方は心身医学的アプローチでなくてかつざら場でない」ということは間違っているとするとこの精は後ろめたい fact7: もしも後ろめたいものが退廃するならなはらない fact8: この決め方はなはるということはないしそれに外乱だということはない fact9: この決め方は外乱でないしなはらない fact10: もしこの決め方は防衛しないとすれば「それは心身医学的アプローチだということはなくておまけにざら場でない」ということは成り立たない
fact5 & fact3 -> hypothesis;
fact5 & fact3 -> hypothesis;
この精はなはらない
fact12 -> int1: もしこの精が後ろめたくておまけにそれが退廃するとするとなはらない;
$facts$ = fact1: この決め方が外乱であるけど咬合高径だということはないとするとこの精はなはる fact2: この決め方は外乱だということはない fact3: この決め方は外乱でないししかも咬合高径でない fact4: 仮にこの決め方がなはらないしさらにそれは咬合高径でないとすれば「この精は外乱である」ということは成り立つ fact5: この決め方が外乱であるということはないし咬合高径でないならばこの精はなはる fact6: もしも「この決め方は心身医学的アプローチでなくてかつざら場でない」ということは間違っているとするとこの精は後ろめたい fact7: もしも後ろめたいものが退廃するならなはらない fact8: この決め方はなはるということはないしそれに外乱だということはない fact9: この決め方は外乱でないしなはらない fact10: もしこの決め方は防衛しないとすれば「それは心身医学的アプローチだということはなくておまけにざら場でない」ということは成り立たない ; $hypothesis$ = 「この精はなはる」ということは成り立つ ; $proof$ = 
fact5 & fact3 -> hypothesis; __PROVED__
事実1: この決め方が外乱であるけど咬合高径だということはないとするとこの精はなはる
事実2: この決め方は外乱だということはない
事実3: この決め方は外乱でないししかも咬合高径でない
事実4: 仮にこの決め方がなはらないしさらにそれは咬合高径でないとすれば「この精は外乱である」ということは成り立つ
事実5: この決め方が外乱であるということはないし咬合高径でないならばこの精はなはる
事実6: もしも「この決め方は心身医学的アプローチでなくてかつざら場でない」ということは間違っているとするとこの精は後ろめたい
事実7: もしも後ろめたいものが退廃するならなはらない
事実8: この決め方はなはるということはないしそれに外乱だということはない
事実9: この決め方は外乱でないしなはらない
事実10: もしこの決め方は防衛しないとすれば「それは心身医学的アプローチだということはなくておまけにざら場でない」ということは成り立たない

仮説: 「この精はなはる」ということは成り立つ
1. 事実5と事実3から、仮説が導かれる

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