「その権利主体はリンスでなくてまた思い出深くない」ということは確かでない
fact1: もしもあのラバーが根治するとするとあのシャイはんはリンスである fact2: あのラバーは根治するかまたは降圧治療であるか両方だ fact3: あのシャイはんは思い出深いかあるいはリンスだ fact4: もし「あのシャイはんはリンスである」ということは成り立つとすれば「「その権利主体はリンスでないしそれに思い出深いということはない」ということは成り立つ」ということは間違っている fact5: あのラバーが降圧治療であるとすればあのシャイはんはリンスである
fact2 & fact1 & fact5 -> int1: あのシャイはんはリンスだ; int1 & fact4 -> hypothesis;
$facts$ = fact1: もしもあのラバーが根治するとするとあのシャイはんはリンスである fact2: あのラバーは根治するかまたは降圧治療であるか両方だ fact3: あのシャイはんは思い出深いかあるいはリンスだ fact4: もし「あのシャイはんはリンスである」ということは成り立つとすれば「「その権利主体はリンスでないしそれに思い出深いということはない」ということは成り立つ」ということは間違っている fact5: あのラバーが降圧治療であるとすればあのシャイはんはリンスである ; $hypothesis$ = 「その権利主体はリンスでなくてまた思い出深くない」ということは確かでない ; $proof$ = 
fact2 & fact1 & fact5 -> int1: あのシャイはんはリンスだ; int1 & fact4 -> hypothesis; __PROVED__
事実1: もしもあのラバーが根治するとするとあのシャイはんはリンスである
事実2: あのラバーは根治するかまたは降圧治療であるか両方だ
事実3: あのシャイはんは思い出深いかあるいはリンスだ
事実4: もし「あのシャイはんはリンスである」ということは成り立つとすれば「「その権利主体はリンスでないしそれに思い出深いということはない」ということは成り立つ」ということは間違っている
事実5: あのラバーが降圧治療であるとすればあのシャイはんはリンスである

仮説: 「その権利主体はリンスでなくてまた思い出深くない」ということは確かでない
1. 事実2と事実1と事実5から、推論1: "あのシャイはんはリンスだ"が導かれる
2. 推論1と事実4から、仮説が導かれる

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