「この乗馬者は尾根でないししかもそれは御説明しない」ということは誤りだ
fact1: もし仮にある物は私道でないとすれば「それは夫子でそれは数筆だ」ということは成り立たない fact2: 仮にその深見は御説明するなら「この乗馬者は尾根でなくてそれは御説明しない」ということは事実と異なる fact3: 仮に「なにがしかのものは夫子だしさらに数筆だ」ということは成り立たないなら夫子でない fact4: その深見は御説明するし旨い fact5: もし仮にある物は御説明しないなら「それは煩くないしそれに御二いちゃんでない」ということは偽である fact6: すべての物は私道でない
fact4 -> int1: その深見は御説明する; int1 & fact2 -> hypothesis;
fact4 -> int1: {A}{a}; int1 & fact2 -> hypothesis;
この乗馬者は尾根でなくてその上それは御説明するということはない
fact8 -> int2: もし仮にあのドーピングは私道でないなら「それは夫子であるししかも数筆だ」ということは成り立つということはない; fact7 -> int3: あのドーピングは私道でない; int2 & int3 -> int4: 「あのドーピングは夫子だし数筆である」ということは成り立たない; int4 -> int5: それは夫子であるしさらに数筆だという物はない; int5 -> int6: 「「その深見は夫子であるしその上数筆である」ということは誤りである」ということは成り立つ; fact9 -> int7: もしも「その深見は夫子であるしかつ数筆だ」ということは成り立たないとしたら夫子でない; int6 & int7 -> int8: その深見は夫子でない;
$facts$ = fact1: もし仮にある物は私道でないとすれば「それは夫子でそれは数筆だ」ということは成り立たない fact2: 仮にその深見は御説明するなら「この乗馬者は尾根でなくてそれは御説明しない」ということは事実と異なる fact3: 仮に「なにがしかのものは夫子だしさらに数筆だ」ということは成り立たないなら夫子でない fact4: その深見は御説明するし旨い fact5: もし仮にある物は御説明しないなら「それは煩くないしそれに御二いちゃんでない」ということは偽である fact6: すべての物は私道でない ; $hypothesis$ = 「この乗馬者は尾根でないししかもそれは御説明しない」ということは誤りだ ; $proof$ = 
fact4 -> int1: その深見は御説明する; int1 & fact2 -> hypothesis; __PROVED__
事実1: もし仮にある物は私道でないとすれば「それは夫子でそれは数筆だ」ということは成り立たない
事実2: 仮にその深見は御説明するなら「この乗馬者は尾根でなくてそれは御説明しない」ということは事実と異なる
事実3: 仮に「なにがしかのものは夫子だしさらに数筆だ」ということは成り立たないなら夫子でない
事実4: その深見は御説明するし旨い
事実5: もし仮にある物は御説明しないなら「それは煩くないしそれに御二いちゃんでない」ということは偽である
事実6: すべての物は私道でない

仮説: 「この乗馬者は尾根でないししかもそれは御説明しない」ということは誤りだ
1. 事実4から、推論1: "その深見は御説明する"が導かれる
2. 推論1と事実2から、仮説が導かれる

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