そのオランは漏れ易い
fact1: 仮にこの草履取りはきもくないならばその相続人は膨潤であるしまた私らしい fact2: もし仮になにかは膨潤であるなら敵視するしそれは教育界だということはない fact3: 「その幕間劇は親らしくないが準用す」ということは嘘ならばあのオランは漏れ易いということはない fact4: その無塩が教育界でないとすればその幕間劇は糠袋であるかまたはそれは流民であるかまたは両方だ fact5: 「この草履取りはきもいし常連らしい」ということは間違いだ fact6: 仮にその相続人が敵視するけど教育界でないならばその無塩は教育界でない fact7: 仮に「何かはきもいしおまけに常連らしい」ということは間違いであるとするとそれはきもくない fact8: 仮にその幕間劇は準用すとしたら「そのオランは漏れ易い」ということは真実だ fact9: その幕間劇は漏れ易い fact10: 糠袋は親らしい fact11: 親らしい物は準用すらないし漏れ易いということはない fact12: その無塩は糠袋でないならば「その幕間劇は親らしくないが準用す」ということは間違っている fact13: その幕間劇は準用す fact14: もしそのオランが準用すとしたらその幕間劇は漏れ易い fact15: もし仮にその幕間劇は準用すらなくて漏れ易くないとしたら「そのオランは漏れ易くない」ということは確かだ
fact8 & fact13 -> hypothesis;
fact8 & fact13 -> hypothesis;
そのオランは漏れ易くない
fact16 -> int1: 仮にその幕間劇は親らしいなら「準用すらなくてしかもそれは漏れ易くない」ということは事実だ; fact21 -> int2: その相続人が膨潤ならばそれは敵視するけれど教育界でない; fact19 -> int3: もしも「この草履取りはきもいし加えてそれは常連らしい」ということは間違っているとすればきもくない; int3 & fact18 -> int4: この草履取りはきもくない; fact23 & int4 -> int5: その相続人は膨潤であるし加えて私らしい; int5 -> int6: その相続人は膨潤だ; int2 & int6 -> int7: その相続人は敵視するけれどそれは教育界であるということはない; fact24 & int7 -> int8: その無塩は教育界でない; fact17 & int8 -> int9: その幕間劇は糠袋であるかもしくは流民であるかどちらもだ; fact20 -> int10: もしもその幕間劇が糠袋ならそれは親らしい;
$facts$ = fact1: 仮にこの草履取りはきもくないならばその相続人は膨潤であるしまた私らしい fact2: もし仮になにかは膨潤であるなら敵視するしそれは教育界だということはない fact3: 「その幕間劇は親らしくないが準用す」ということは嘘ならばあのオランは漏れ易いということはない fact4: その無塩が教育界でないとすればその幕間劇は糠袋であるかまたはそれは流民であるかまたは両方だ fact5: 「この草履取りはきもいし常連らしい」ということは間違いだ fact6: 仮にその相続人が敵視するけど教育界でないならばその無塩は教育界でない fact7: 仮に「何かはきもいしおまけに常連らしい」ということは間違いであるとするとそれはきもくない fact8: 仮にその幕間劇は準用すとしたら「そのオランは漏れ易い」ということは真実だ fact9: その幕間劇は漏れ易い fact10: 糠袋は親らしい fact11: 親らしい物は準用すらないし漏れ易いということはない fact12: その無塩は糠袋でないならば「その幕間劇は親らしくないが準用す」ということは間違っている fact13: その幕間劇は準用す fact14: もしそのオランが準用すとしたらその幕間劇は漏れ易い fact15: もし仮にその幕間劇は準用すらなくて漏れ易くないとしたら「そのオランは漏れ易くない」ということは確かだ ; $hypothesis$ = そのオランは漏れ易い ; $proof$ = 
fact8 & fact13 -> hypothesis; __PROVED__
事実1: 仮にこの草履取りはきもくないならばその相続人は膨潤であるしまた私らしい
事実2: もし仮になにかは膨潤であるなら敵視するしそれは教育界だということはない
事実3: 「その幕間劇は親らしくないが準用す」ということは嘘ならばあのオランは漏れ易いということはない
事実4: その無塩が教育界でないとすればその幕間劇は糠袋であるかまたはそれは流民であるかまたは両方だ
事実5: 「この草履取りはきもいし常連らしい」ということは間違いだ
事実6: 仮にその相続人が敵視するけど教育界でないならばその無塩は教育界でない
事実7: 仮に「何かはきもいしおまけに常連らしい」ということは間違いであるとするとそれはきもくない
事実8: 仮にその幕間劇は準用すとしたら「そのオランは漏れ易い」ということは真実だ
事実9: その幕間劇は漏れ易い
事実10: 糠袋は親らしい
事実11: 親らしい物は準用すらないし漏れ易いということはない
事実12: その無塩は糠袋でないならば「その幕間劇は親らしくないが準用す」ということは間違っている
事実13: その幕間劇は準用す
事実14: もしそのオランが準用すとしたらその幕間劇は漏れ易い
事実15: もし仮にその幕間劇は準用すらなくて漏れ易くないとしたら「そのオランは漏れ易くない」ということは確かだ

仮説: そのオランは漏れ易い
1. 事実8と事実13から、仮説が導かれる

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