この嫁ぎ先は転がり出ない
fact1: もし「なにかは城郭都市でないがしかし感染し易い」ということは成り立たないとすると「それは感染し易くない」ということは成り立つ fact2: この嫁ぎ先は感染し易くないし寒ーくない fact3: あの夜尿は寒ーい fact4: もし「何らかのものは転がり出る」ということは真実だとしたら「それは決別しないしその上それは経済交流でない」ということは成り立つ fact5: 仮にあの拒絶査定は水っぽいとすれば「この嫁ぎ先は城郭都市でないけど感染し易い」ということは事実と異なる fact6: もし仮にあるものが麗しないし加えて寒ーいということはないとするとそれは感染し易くない fact7: 「あの適用事業は掻き毟るということはないがしかし首っ引きである」ということは誤りである fact8: 「この嫁ぎ先は掻き毟るということはないし更に麗しない」ということは誤りだとしたらそれは寒ーい fact9: 「この嫁ぎ先は電気回路でないしさらにそれは麗しない」ということは確かだ fact10: もし何かは掻き毟らないししかも麗しないならばそれは転がり出ない fact11: 「この嫁ぎ先は町起こしでない」ということは誤りでない fact12: この嫁ぎ先は感染し易いということはない
void -> assump1: 以下のように仮定する。「この嫁ぎ先は掻き毟るということはないしそれは麗しない」ということは間違っている; fact8 & assump1 -> int1: この嫁ぎ先は寒ーい; fact2 -> int2: この嫁ぎ先は寒ーくない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この嫁ぎ先は掻き毟らないし加えて麗しということはない; fact10 -> int5: もしもこの嫁ぎ先は掻き毟らなくてまた麗しということはないとすれば転がり出ない; int4 & int5 -> hypothesis;
その五十三ページ参照は決別しなくて加えて経済交流でない
fact13 -> int6: 仮にその五十三ページ参照が転がり出ればそれは決別しないし経済交流でない;
$facts$ = fact1: もし「なにかは城郭都市でないがしかし感染し易い」ということは成り立たないとすると「それは感染し易くない」ということは成り立つ fact2: この嫁ぎ先は感染し易くないし寒ーくない fact3: あの夜尿は寒ーい fact4: もし「何らかのものは転がり出る」ということは真実だとしたら「それは決別しないしその上それは経済交流でない」ということは成り立つ fact5: 仮にあの拒絶査定は水っぽいとすれば「この嫁ぎ先は城郭都市でないけど感染し易い」ということは事実と異なる fact6: もし仮にあるものが麗しないし加えて寒ーいということはないとするとそれは感染し易くない fact7: 「あの適用事業は掻き毟るということはないがしかし首っ引きである」ということは誤りである fact8: 「この嫁ぎ先は掻き毟るということはないし更に麗しない」ということは誤りだとしたらそれは寒ーい fact9: 「この嫁ぎ先は電気回路でないしさらにそれは麗しない」ということは確かだ fact10: もし何かは掻き毟らないししかも麗しないならばそれは転がり出ない fact11: 「この嫁ぎ先は町起こしでない」ということは誤りでない fact12: この嫁ぎ先は感染し易いということはない ; $hypothesis$ = この嫁ぎ先は転がり出ない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この嫁ぎ先は掻き毟るということはないしそれは麗しない」ということは間違っている; fact8 & assump1 -> int1: この嫁ぎ先は寒ーい; fact2 -> int2: この嫁ぎ先は寒ーくない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この嫁ぎ先は掻き毟らないし加えて麗しということはない; fact10 -> int5: もしもこの嫁ぎ先は掻き毟らなくてまた麗しということはないとすれば転がり出ない; int4 & int5 -> hypothesis; __PROVED__
事実1: もし「なにかは城郭都市でないがしかし感染し易い」ということは成り立たないとすると「それは感染し易くない」ということは成り立つ
事実2: この嫁ぎ先は感染し易くないし寒ーくない
事実3: あの夜尿は寒ーい
事実4: もし「何らかのものは転がり出る」ということは真実だとしたら「それは決別しないしその上それは経済交流でない」ということは成り立つ
事実5: 仮にあの拒絶査定は水っぽいとすれば「この嫁ぎ先は城郭都市でないけど感染し易い」ということは事実と異なる
事実6: もし仮にあるものが麗しないし加えて寒ーいということはないとするとそれは感染し易くない
事実7: 「あの適用事業は掻き毟るということはないがしかし首っ引きである」ということは誤りである
事実8: 「この嫁ぎ先は掻き毟るということはないし更に麗しない」ということは誤りだとしたらそれは寒ーい
事実9: 「この嫁ぎ先は電気回路でないしさらにそれは麗しない」ということは確かだ
事実10: もし何かは掻き毟らないししかも麗しないならばそれは転がり出ない
事実11: 「この嫁ぎ先は町起こしでない」ということは誤りでない
事実12: この嫁ぎ先は感染し易いということはない

仮説: この嫁ぎ先は転がり出ない
1. 仮定1: 以下のように仮定する。「この嫁ぎ先は掻き毟るということはないしそれは麗しない」ということは間違っている
2. 事実8と仮定1から、推論1: "この嫁ぎ先は寒ーい"が導かれる
3. 事実2から、推論2: "この嫁ぎ先は寒ーくない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この嫁ぎ先は掻き毟らないし加えて麗しということはない"が導かれる
6. 事実10から、推論5: "もしもこの嫁ぎ先は掻き毟らなくてまた麗しということはないとすれば転がり出ない"が導かれる
7. 推論4と推論5から、仮説が導かれる

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