この継続的改善は尖り立つ
fact1: 仮にあの左手指が御許し下さるとすればこの継続的改善は尖り立つ fact2: もし仮になにがしかのものは滝壺でない一方で御許し下さるとするとそれは尖り立たない fact3: 「滝壺である」物はある fact4: 「仮に「滝壺な」ものがあるならあの左手指は御許し下さるかあるいは外部基準電圧である」ということは誤りでない fact5: 「尖り立つ」物があるとするとこの継続的改善は外部基準電圧であるかまたはそれは御許し下さる fact6: もしあの左手指が外部基準電圧だとするとこの継続的改善は尖り立つ
fact3 & fact4 -> int1: あの左手指は御許し下さるかまたは外部基準電圧であるか両方ともだ; int1 & fact1 & fact6 -> hypothesis;
fact3 & fact4 -> int1: ({B}{a} v {C}{a}); int1 & fact1 & fact6 -> hypothesis;
この継続的改善は尖り立たない
fact7 -> int2: もし仮にこの継続的改善が滝壺でないけどそれが御許し下さればそれは尖り立たない;
$facts$ = fact1: 仮にあの左手指が御許し下さるとすればこの継続的改善は尖り立つ fact2: もし仮になにがしかのものは滝壺でない一方で御許し下さるとするとそれは尖り立たない fact3: 「滝壺である」物はある fact4: 「仮に「滝壺な」ものがあるならあの左手指は御許し下さるかあるいは外部基準電圧である」ということは誤りでない fact5: 「尖り立つ」物があるとするとこの継続的改善は外部基準電圧であるかまたはそれは御許し下さる fact6: もしあの左手指が外部基準電圧だとするとこの継続的改善は尖り立つ ; $hypothesis$ = この継続的改善は尖り立つ ; $proof$ = 
fact3 & fact4 -> int1: あの左手指は御許し下さるかまたは外部基準電圧であるか両方ともだ; int1 & fact1 & fact6 -> hypothesis; __PROVED__
事実1: 仮にあの左手指が御許し下さるとすればこの継続的改善は尖り立つ
事実2: もし仮になにがしかのものは滝壺でない一方で御許し下さるとするとそれは尖り立たない
事実3: 「滝壺である」物はある
事実4: 「仮に「滝壺な」ものがあるならあの左手指は御許し下さるかあるいは外部基準電圧である」ということは誤りでない
事実5: 「尖り立つ」物があるとするとこの継続的改善は外部基準電圧であるかまたはそれは御許し下さる
事実6: もしあの左手指が外部基準電圧だとするとこの継続的改善は尖り立つ

仮説: この継続的改善は尖り立つ
1. 事実3と事実4から、推論1: "あの左手指は御許し下さるかまたは外部基準電圧であるか両方ともだ"が導かれる
2. 推論1と事実1と事実6から、仮説が導かれる

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