その穿通は十二Ｃでない
fact1: 「その一定地域は過信し過ぎないが規矩だ」ということは成り立たないならば「あの信用貸し出しは高級住宅でない」ということは事実だ fact2: もしもとある物は答え易いとすれば「電報するということはないしさらに見逃す」ということは誤っている fact3: 「その一定地域は過信し過ぎないがそれは規矩である」ということは誤っている fact4: もしその穿通が過信し過ぎないとするとその一定地域は御掛かるということはない fact5: その一定地域は食事学であるしそれは答え易い fact6: 仮に何らかの物が御掛からないとすると十二Ｃであるか高級住宅であるかもしくはどちらもだ fact7: なんらかの物は高級住宅でないなら十二Ｃでない fact8: もし「「御掛かるしかつ見逃す」ということは間違いである」物があるとしたらその一定地域は御掛からない fact9: もし仮にあの信用貸し出しは高級住宅だということはないとすれば「その穿通は高級住宅であるしそれは御掛かる」ということは成り立たない fact10: 高級住宅は十二Ｃだ fact11: もし仮に「とあるものが高級住宅だしさらにそれは御掛かる」ということは成り立つということはないとすれば十二Ｃでない fact12: 「何らかのものは電報しないけど見逃す」ということは成り立たないなら「高級住宅である」ということは真実である
fact1 & fact3 -> int1: あの信用貸し出しは高級住宅でない; int1 & fact9 -> int2: 「その穿通は高級住宅であるしその上それは御掛かる」ということは成り立たない; fact11 -> int3: 仮に「その穿通は高級住宅であるしそれに御掛かる」ということは成り立たないならば十二Ｃであるということはない; int2 & int3 -> hypothesis;
fact1 & fact3 -> int1: ¬{B}{b}; int1 & fact9 -> int2: ¬({B}{c} & {C}{c}); fact11 -> int3: ¬({B}{c} & {C}{c}) -> ¬{A}{c}; int2 & int3 -> hypothesis;
その穿通は十二Ｃだ
fact13 -> int4: もしもその一定地域が御掛からないとすれば十二Ｃであるかもしくは高級住宅であるかあるいは両方ともである;
$facts$ = fact1: 「その一定地域は過信し過ぎないが規矩だ」ということは成り立たないならば「あの信用貸し出しは高級住宅でない」ということは事実だ fact2: もしもとある物は答え易いとすれば「電報するということはないしさらに見逃す」ということは誤っている fact3: 「その一定地域は過信し過ぎないがそれは規矩である」ということは誤っている fact4: もしその穿通が過信し過ぎないとするとその一定地域は御掛かるということはない fact5: その一定地域は食事学であるしそれは答え易い fact6: 仮に何らかの物が御掛からないとすると十二Ｃであるか高級住宅であるかもしくはどちらもだ fact7: なんらかの物は高級住宅でないなら十二Ｃでない fact8: もし「「御掛かるしかつ見逃す」ということは間違いである」物があるとしたらその一定地域は御掛からない fact9: もし仮にあの信用貸し出しは高級住宅だということはないとすれば「その穿通は高級住宅であるしそれは御掛かる」ということは成り立たない fact10: 高級住宅は十二Ｃだ fact11: もし仮に「とあるものが高級住宅だしさらにそれは御掛かる」ということは成り立つということはないとすれば十二Ｃでない fact12: 「何らかのものは電報しないけど見逃す」ということは成り立たないなら「高級住宅である」ということは真実である ; $hypothesis$ = その穿通は十二Ｃでない ; $proof$ = 
fact1 & fact3 -> int1: あの信用貸し出しは高級住宅でない; int1 & fact9 -> int2: 「その穿通は高級住宅であるしその上それは御掛かる」ということは成り立たない; fact11 -> int3: 仮に「その穿通は高級住宅であるしそれに御掛かる」ということは成り立たないならば十二Ｃであるということはない; int2 & int3 -> hypothesis; __PROVED__
事実1: 「その一定地域は過信し過ぎないが規矩だ」ということは成り立たないならば「あの信用貸し出しは高級住宅でない」ということは事実だ
事実2: もしもとある物は答え易いとすれば「電報するということはないしさらに見逃す」ということは誤っている
事実3: 「その一定地域は過信し過ぎないがそれは規矩である」ということは誤っている
事実4: もしその穿通が過信し過ぎないとするとその一定地域は御掛かるということはない
事実5: その一定地域は食事学であるしそれは答え易い
事実6: 仮に何らかの物が御掛からないとすると十二Ｃであるか高級住宅であるかもしくはどちらもだ
事実7: なんらかの物は高級住宅でないなら十二Ｃでない
事実8: もし「「御掛かるしかつ見逃す」ということは間違いである」物があるとしたらその一定地域は御掛からない
事実9: もし仮にあの信用貸し出しは高級住宅だということはないとすれば「その穿通は高級住宅であるしそれは御掛かる」ということは成り立たない
事実10: 高級住宅は十二Ｃだ
事実11: もし仮に「とあるものが高級住宅だしさらにそれは御掛かる」ということは成り立つということはないとすれば十二Ｃでない
事実12: 「何らかのものは電報しないけど見逃す」ということは成り立たないなら「高級住宅である」ということは真実である

仮説: その穿通は十二Ｃでない
1. 事実1と事実3から、推論1: "あの信用貸し出しは高級住宅でない"が導かれる
2. 推論1と事実9から、推論2: "「その穿通は高級住宅であるしその上それは御掛かる」ということは成り立たない"が導かれる
3. 事実11から、推論3: "仮に「その穿通は高級住宅であるしそれに御掛かる」ということは成り立たないならば十二Ｃであるということはない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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