「あの言文一致は拘束す」ということは成り立つ
fact1: なんらかのものは該当号でないとすると「詣でるけど寝苦しくない」ということは間違っている fact2: その不変は疲れ易い fact3: もしそのぶな材は御労しいとすれば「それは日本人向けでないかもしくは流離であるかあるいはどちらもだ」ということは本当でない fact4: 仮に「なにがしかの物は漏れ易いが疲れ易くない」ということは間違いだとするとそれは拘束すらない fact5: あの左京君は漏れ易い fact6: この松前藩主は敏捷であるかあるいはそれは乳臭い fact7: 仮にある物が荒振れば漏れ易い fact8: もし仮にこの松前藩主が敏捷ならそのぶな材は御労しい fact9: 仮に「そのぶな材は日本人向けでないかあるいはそれは流離だ」ということは間違いであるならばその不変は日本人向けでない fact10: 仮に「その不変は厭わしい」ということは成り立つとすると「あの言文一致は漏れ易いがしかしそれは疲れ易くない」ということは成り立たない fact11: もしもなにかは日本人向けでないなら早くないしそれは該当号でない fact12: もし仮になにがしかのものが寝苦しいならそれは厭わしい fact13: もし仮に「「あるものは詣でるがしかし寝苦しくない」ということは確かである」ということは成り立つということはないとしたら寝苦しい fact14: 仮になにがしかの物が厭わしいならば拘束す fact15: もしもその不変が漏れ易いならあの言文一致は厭わしい fact16: 仮に「その不変は疲れ易い」ということは成り立つとすれば漏れ易い
fact16 & fact2 -> int1: その不変は漏れ易い; int1 & fact15 -> int2: あの言文一致は厭わしい; fact14 -> int3: もし仮にあの言文一致は厭わしいなら「それは拘束す」ということは本当だ; int2 & int3 -> hypothesis;
fact16 & fact2 -> int1: {B}{a}; int1 & fact15 -> int2: {C}{b}; fact14 -> int3: {C}{b} -> {D}{b}; int2 & int3 -> hypothesis;
あの言文一致は拘束すらない
fact26 -> int4: 仮に「あの言文一致は漏れ易いけど疲れ易くない」ということは正しくないとすればそれは拘束すらない; fact25 -> int5: もしもその不変が寝苦しいならばそれは厭わしい; fact24 -> int6: もしも「その不変は詣でるけど寝苦しいということはない」ということは成り立たないとすると寝苦しい; fact23 -> int7: もし仮にその不変は該当号でないとすると「詣でるけれど寝苦しくない」ということは間違いである; fact18 -> int8: もしもその不変が日本人向けだということはないとすれば早くないし該当号でない;
$facts$ = fact1: なんらかのものは該当号でないとすると「詣でるけど寝苦しくない」ということは間違っている fact2: その不変は疲れ易い fact3: もしそのぶな材は御労しいとすれば「それは日本人向けでないかもしくは流離であるかあるいはどちらもだ」ということは本当でない fact4: 仮に「なにがしかの物は漏れ易いが疲れ易くない」ということは間違いだとするとそれは拘束すらない fact5: あの左京君は漏れ易い fact6: この松前藩主は敏捷であるかあるいはそれは乳臭い fact7: 仮にある物が荒振れば漏れ易い fact8: もし仮にこの松前藩主が敏捷ならそのぶな材は御労しい fact9: 仮に「そのぶな材は日本人向けでないかあるいはそれは流離だ」ということは間違いであるならばその不変は日本人向けでない fact10: 仮に「その不変は厭わしい」ということは成り立つとすると「あの言文一致は漏れ易いがしかしそれは疲れ易くない」ということは成り立たない fact11: もしもなにかは日本人向けでないなら早くないしそれは該当号でない fact12: もし仮になにがしかのものが寝苦しいならそれは厭わしい fact13: もし仮に「「あるものは詣でるがしかし寝苦しくない」ということは確かである」ということは成り立つということはないとしたら寝苦しい fact14: 仮になにがしかの物が厭わしいならば拘束す fact15: もしもその不変が漏れ易いならあの言文一致は厭わしい fact16: 仮に「その不変は疲れ易い」ということは成り立つとすれば漏れ易い ; $hypothesis$ = 「あの言文一致は拘束す」ということは成り立つ ; $proof$ = 
fact16 & fact2 -> int1: その不変は漏れ易い; int1 & fact15 -> int2: あの言文一致は厭わしい; fact14 -> int3: もし仮にあの言文一致は厭わしいなら「それは拘束す」ということは本当だ; int2 & int3 -> hypothesis; __PROVED__
事実1: なんらかのものは該当号でないとすると「詣でるけど寝苦しくない」ということは間違っている
事実2: その不変は疲れ易い
事実3: もしそのぶな材は御労しいとすれば「それは日本人向けでないかもしくは流離であるかあるいはどちらもだ」ということは本当でない
事実4: 仮に「なにがしかの物は漏れ易いが疲れ易くない」ということは間違いだとするとそれは拘束すらない
事実5: あの左京君は漏れ易い
事実6: この松前藩主は敏捷であるかあるいはそれは乳臭い
事実7: 仮にある物が荒振れば漏れ易い
事実8: もし仮にこの松前藩主が敏捷ならそのぶな材は御労しい
事実9: 仮に「そのぶな材は日本人向けでないかあるいはそれは流離だ」ということは間違いであるならばその不変は日本人向けでない
事実10: 仮に「その不変は厭わしい」ということは成り立つとすると「あの言文一致は漏れ易いがしかしそれは疲れ易くない」ということは成り立たない
事実11: もしもなにかは日本人向けでないなら早くないしそれは該当号でない
事実12: もし仮になにがしかのものが寝苦しいならそれは厭わしい
事実13: もし仮に「「あるものは詣でるがしかし寝苦しくない」ということは確かである」ということは成り立つということはないとしたら寝苦しい
事実14: 仮になにがしかの物が厭わしいならば拘束す
事実15: もしもその不変が漏れ易いならあの言文一致は厭わしい
事実16: 仮に「その不変は疲れ易い」ということは成り立つとすれば漏れ易い

仮説: 「あの言文一致は拘束す」ということは成り立つ
1. 事実16と事実2から、推論1: "その不変は漏れ易い"が導かれる
2. 推論1と事実15から、推論2: "あの言文一致は厭わしい"が導かれる
3. 事実14から、推論3: "もし仮にあの言文一致は厭わしいなら「それは拘束す」ということは本当だ"が導かれる
4. 推論2と推論3から、仮説が導かれる

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