その家屋敷は脂ぎる
fact1: もし仮に「その航空殊勲章は涙ぐましくないかあるいは覚束無いかまたはどちらもだ」ということは事実と異なるとすればあの家出息子は泣き叫ばない fact2: もしその家出息子が覚束無いならばその家屋敷は涙ぐましい fact3: 「あのプリント技術は完全主義者だ」ということは事実だ fact4: あのプリント技術は完全主義者だとしたら「それは生活共同体でなくてそれは書き易い」ということは偽である fact5: もしも「この冷えはアプローチし易いけれど痛飲しない」ということは成り立たないとすればそのこっち側は押し寄せる fact6: もし仮になんらかの物は入山するなら「アプローチし易いしまたそれは痛飲しない」ということは嘘である fact7: なんらかのものは尊いがしかしそれは泣き叫ばない fact8: 涙ぐましい物は脂ぎる fact9: 仮に「尊くて泣き叫ばない」ものがあるとするとその家出息子は覚束無い fact10: もしもあのプリント技術が去り行くしまた乗り切れるならその航空殊勲章は乗り切れない fact11: 「もし仮にそのこっち側が去り行くならあのプリント技術は去り行く」ということは真実だ fact12: あの二十一人中は脂ぎる fact13: 全ては入山するしそれはばあかしい fact14: もしも「その家出息子は泣き叫ばない」ということは真実であるとすればその家屋敷は尊いけど脂ぎらない fact15: なにかは乗り切れないとすると「それは涙ぐましくないかあるいはそれは覚束無い」ということは事実と異なる fact16: 仮になにがしかの物が押し寄せるとすればそれは去り行く
fact7 & fact9 -> int1: その家出息子は覚束無い; int1 & fact2 -> int2: その家屋敷は涙ぐましい; fact8 -> int3: もしも「その家屋敷は涙ぐましい」ということは真実であるとすれば脂ぎる; int2 & int3 -> hypothesis;
fact7 & fact9 -> int1: {C}{a}; int1 & fact2 -> int2: {D}{b}; fact8 -> int3: {D}{b} -> {E}{b}; int2 & int3 -> hypothesis;
その家屋敷は脂ぎらない
fact20 -> int4: もしもその航空殊勲章は乗り切れるということはないとすると「それは涙ぐましいということはないかまたは覚束無いかもしくは両方ともである」ということは成り立たない; fact17 -> int5: もしもこの和語は入山するとしたら「アプローチし易いがしかし痛飲しない」ということは誤りだ; fact24 -> int6: この坊ちゃんは入山するしまたそれはばあかしい; int6 -> int7: この坊ちゃんは入山する; int7 -> int8: あらゆるものは入山する; int8 -> int9: この和語は入山する; int5 & int9 -> int10: 「この和語はアプローチし易い一方で痛飲しない」ということは間違っている; int10 -> int11: それがアプローチし易いしその上それは痛飲しないという物はない; int11 -> int12: 「この冷えはアプローチし易いけれど痛飲しない」ということは嘘である; int12 & fact19 -> int13: そのこっち側は押し寄せる; fact18 -> int14: もし仮にそのこっち側は押し寄せれば「去り行く」ということは本当だ; int13 & int14 -> int15: そのこっち側は去り行く; fact25 & int15 -> int16: あのプリント技術は去り行く; fact26 & fact27 -> int17: 「あのプリント技術は生活共同体でないが書き易い」ということは間違いだ;
$facts$ = fact1: もし仮に「その航空殊勲章は涙ぐましくないかあるいは覚束無いかまたはどちらもだ」ということは事実と異なるとすればあの家出息子は泣き叫ばない fact2: もしその家出息子が覚束無いならばその家屋敷は涙ぐましい fact3: 「あのプリント技術は完全主義者だ」ということは事実だ fact4: あのプリント技術は完全主義者だとしたら「それは生活共同体でなくてそれは書き易い」ということは偽である fact5: もしも「この冷えはアプローチし易いけれど痛飲しない」ということは成り立たないとすればそのこっち側は押し寄せる fact6: もし仮になんらかの物は入山するなら「アプローチし易いしまたそれは痛飲しない」ということは嘘である fact7: なんらかのものは尊いがしかしそれは泣き叫ばない fact8: 涙ぐましい物は脂ぎる fact9: 仮に「尊くて泣き叫ばない」ものがあるとするとその家出息子は覚束無い fact10: もしもあのプリント技術が去り行くしまた乗り切れるならその航空殊勲章は乗り切れない fact11: 「もし仮にそのこっち側が去り行くならあのプリント技術は去り行く」ということは真実だ fact12: あの二十一人中は脂ぎる fact13: 全ては入山するしそれはばあかしい fact14: もしも「その家出息子は泣き叫ばない」ということは真実であるとすればその家屋敷は尊いけど脂ぎらない fact15: なにかは乗り切れないとすると「それは涙ぐましくないかあるいはそれは覚束無い」ということは事実と異なる fact16: 仮になにがしかの物が押し寄せるとすればそれは去り行く ; $hypothesis$ = その家屋敷は脂ぎる ; $proof$ = 
fact7 & fact9 -> int1: その家出息子は覚束無い; int1 & fact2 -> int2: その家屋敷は涙ぐましい; fact8 -> int3: もしも「その家屋敷は涙ぐましい」ということは真実であるとすれば脂ぎる; int2 & int3 -> hypothesis; __PROVED__
事実1: もし仮に「その航空殊勲章は涙ぐましくないかあるいは覚束無いかまたはどちらもだ」ということは事実と異なるとすればあの家出息子は泣き叫ばない
事実2: もしその家出息子が覚束無いならばその家屋敷は涙ぐましい
事実3: 「あのプリント技術は完全主義者だ」ということは事実だ
事実4: あのプリント技術は完全主義者だとしたら「それは生活共同体でなくてそれは書き易い」ということは偽である
事実5: もしも「この冷えはアプローチし易いけれど痛飲しない」ということは成り立たないとすればそのこっち側は押し寄せる
事実6: もし仮になんらかの物は入山するなら「アプローチし易いしまたそれは痛飲しない」ということは嘘である
事実7: なんらかのものは尊いがしかしそれは泣き叫ばない
事実8: 涙ぐましい物は脂ぎる
事実9: 仮に「尊くて泣き叫ばない」ものがあるとするとその家出息子は覚束無い
事実10: もしもあのプリント技術が去り行くしまた乗り切れるならその航空殊勲章は乗り切れない
事実11: 「もし仮にそのこっち側が去り行くならあのプリント技術は去り行く」ということは真実だ
事実12: あの二十一人中は脂ぎる
事実13: 全ては入山するしそれはばあかしい
事実14: もしも「その家出息子は泣き叫ばない」ということは真実であるとすればその家屋敷は尊いけど脂ぎらない
事実15: なにかは乗り切れないとすると「それは涙ぐましくないかあるいはそれは覚束無い」ということは事実と異なる
事実16: 仮になにがしかの物が押し寄せるとすればそれは去り行く

仮説: その家屋敷は脂ぎる
1. 事実7と事実9から、推論1: "その家出息子は覚束無い"が導かれる
2. 推論1と事実2から、推論2: "その家屋敷は涙ぐましい"が導かれる
3. 事実8から、推論3: "もしも「その家屋敷は涙ぐましい」ということは真実であるとすれば脂ぎる"が導かれる
4. 推論2と推論3から、仮説が導かれる

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