「あの忠君愛国は歩み入る」ということは確かである
fact1: 「何かは御強くない」ということは成り立つとすると歩み入らないしまた集落協定でない fact2: もし仮に「この透析は回教徒でない」ということは成り立つとしたらあの忠君愛国は歩み入る fact3: もしもある物は御強いということはないとすれば「この透析は集落協定であるかもしくは回教徒でない」ということは確かである fact4: 「生活し易くない」ものはあるとすれば「あの高野家は生活し易いがそれは正しない」ということは誤りである fact5: もし仮に「何らかの物は名工でないし加えてそれは高くない」ということは嘘ならば高い fact6: もし「なんらかのものは生活し易いが正しない」ということは間違っているなら「荒っぽくない」ということは真実である fact7: 「御強い」ものはある fact8: 「生活し易くない」物はある fact9: 「この透析が集落協定ならあの忠君愛国は歩み入る」ということは確かである fact10: この透析が歩み入らないしさらに集落協定でないとしたらあの忠君愛国は歩み入らない fact11: もし仮にこの透析が御強くなくてしかも集落協定だということはないとしたらあの忠君愛国は歩み入るということはない fact12: 集落協定はある fact13: 「御強くない」ものはある fact14: あの高野家は荒っぽくないとすると「それは名工でなくてかつ高いということはない」ということは確かでない
fact13 & fact3 -> int1: この透析は集落協定であるかもしくは回教徒でないかどちらもである; int1 & fact9 & fact2 -> hypothesis;
あの忠君愛国は歩み入らない
$facts$ = fact1: 「何かは御強くない」ということは成り立つとすると歩み入らないしまた集落協定でない fact2: もし仮に「この透析は回教徒でない」ということは成り立つとしたらあの忠君愛国は歩み入る fact3: もしもある物は御強いということはないとすれば「この透析は集落協定であるかもしくは回教徒でない」ということは確かである fact4: 「生活し易くない」ものはあるとすれば「あの高野家は生活し易いがそれは正しない」ということは誤りである fact5: もし仮に「何らかの物は名工でないし加えてそれは高くない」ということは嘘ならば高い fact6: もし「なんらかのものは生活し易いが正しない」ということは間違っているなら「荒っぽくない」ということは真実である fact7: 「御強い」ものはある fact8: 「生活し易くない」物はある fact9: 「この透析が集落協定ならあの忠君愛国は歩み入る」ということは確かである fact10: この透析が歩み入らないしさらに集落協定でないとしたらあの忠君愛国は歩み入らない fact11: もし仮にこの透析が御強くなくてしかも集落協定だということはないとしたらあの忠君愛国は歩み入るということはない fact12: 集落協定はある fact13: 「御強くない」ものはある fact14: あの高野家は荒っぽくないとすると「それは名工でなくてかつ高いということはない」ということは確かでない ; $hypothesis$ = 「あの忠君愛国は歩み入る」ということは確かである ; $proof$ = 
fact13 & fact3 -> int1: この透析は集落協定であるかもしくは回教徒でないかどちらもである; int1 & fact9 & fact2 -> hypothesis; __PROVED__
事実1: 「何かは御強くない」ということは成り立つとすると歩み入らないしまた集落協定でない
事実2: もし仮に「この透析は回教徒でない」ということは成り立つとしたらあの忠君愛国は歩み入る
事実3: もしもある物は御強いということはないとすれば「この透析は集落協定であるかもしくは回教徒でない」ということは確かである
事実4: 「生活し易くない」ものはあるとすれば「あの高野家は生活し易いがそれは正しない」ということは誤りである
事実5: もし仮に「何らかの物は名工でないし加えてそれは高くない」ということは嘘ならば高い
事実6: もし「なんらかのものは生活し易いが正しない」ということは間違っているなら「荒っぽくない」ということは真実である
事実7: 「御強い」ものはある
事実8: 「生活し易くない」物はある
事実9: 「この透析が集落協定ならあの忠君愛国は歩み入る」ということは確かである
事実10: この透析が歩み入らないしさらに集落協定でないとしたらあの忠君愛国は歩み入らない
事実11: もし仮にこの透析が御強くなくてしかも集落協定だということはないとしたらあの忠君愛国は歩み入るということはない
事実12: 集落協定はある
事実13: 「御強くない」ものはある
事実14: あの高野家は荒っぽくないとすると「それは名工でなくてかつ高いということはない」ということは確かでない

仮説: 「あの忠君愛国は歩み入る」ということは確かである
1. 事実13と事実3から、推論1: "この透析は集落協定であるかもしくは回教徒でないかどちらもである"が導かれる
2. 推論1と事実9と事実2から、仮説が導かれる

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