この動植物は書き起こす
fact1: 仮になんらかの物が発動出来るとすればかったるくないし加えて仕舞い兼ねるということはない fact2: もしもいじましくない物が要するとすれば予選しない fact3: その記録者は発動出来ない fact4: あの母上はいじましい fact5: この動植物は予選する fact6: もしその記録者が要するとしたらこの動植物は仕舞い兼ねる fact7: あの母上は発動出来ない fact8: 仮になんらかのものが予選しないしさらに発動出来ないとすればその記録者は要する fact9: なにかは承認申請でないがしかしそれがいじましいとしたらそれは予選しない fact10: あの母上は承認申請でないけれどいじましい fact11: 「「仕舞い兼ねない」ということは確かである」物はある fact12: 「発動出来ない」ものはある fact13: この動植物が仕舞い兼ねればそれは書き起こす fact14: その記録者は古でないけど曾爺さんだ fact15: あの軍は発動出来ない fact16: 仮にこの案内人が棹差さないとすればあの記録者は要するししかも予選する
fact9 -> int1: あの母上は承認申請であるということはないけれどいじましいならそれは予選しない; int1 & fact10 -> int2: あの母上は予選しない; int2 & fact7 -> int3: あの母上は予選しなくて発動出来ない; int3 -> int4: 「予選しないし発動出来ない」物はある; int4 & fact8 -> int5: その記録者は要する; int5 & fact6 -> int6: この動植物は仕舞い兼ねる; int6 & fact13 -> hypothesis;
「その年忌法要はかったるくなくて仕舞い兼ねるということはない」ということは事実だ
fact17 -> int7: もしその年忌法要が発動出来るとしたらそれはかったるいということはなくてそれに仕舞い兼ねない;
$facts$ = fact1: 仮になんらかの物が発動出来るとすればかったるくないし加えて仕舞い兼ねるということはない fact2: もしもいじましくない物が要するとすれば予選しない fact3: その記録者は発動出来ない fact4: あの母上はいじましい fact5: この動植物は予選する fact6: もしその記録者が要するとしたらこの動植物は仕舞い兼ねる fact7: あの母上は発動出来ない fact8: 仮になんらかのものが予選しないしさらに発動出来ないとすればその記録者は要する fact9: なにかは承認申請でないがしかしそれがいじましいとしたらそれは予選しない fact10: あの母上は承認申請でないけれどいじましい fact11: 「「仕舞い兼ねない」ということは確かである」物はある fact12: 「発動出来ない」ものはある fact13: この動植物が仕舞い兼ねればそれは書き起こす fact14: その記録者は古でないけど曾爺さんだ fact15: あの軍は発動出来ない fact16: 仮にこの案内人が棹差さないとすればあの記録者は要するししかも予選する ; $hypothesis$ = この動植物は書き起こす ; $proof$ = 
fact9 -> int1: あの母上は承認申請であるということはないけれどいじましいならそれは予選しない; int1 & fact10 -> int2: あの母上は予選しない; int2 & fact7 -> int3: あの母上は予選しなくて発動出来ない; int3 -> int4: 「予選しないし発動出来ない」物はある; int4 & fact8 -> int5: その記録者は要する; int5 & fact6 -> int6: この動植物は仕舞い兼ねる; int6 & fact13 -> hypothesis; __PROVED__
事実1: 仮になんらかの物が発動出来るとすればかったるくないし加えて仕舞い兼ねるということはない
事実2: もしもいじましくない物が要するとすれば予選しない
事実3: その記録者は発動出来ない
事実4: あの母上はいじましい
事実5: この動植物は予選する
事実6: もしその記録者が要するとしたらこの動植物は仕舞い兼ねる
事実7: あの母上は発動出来ない
事実8: 仮になんらかのものが予選しないしさらに発動出来ないとすればその記録者は要する
事実9: なにかは承認申請でないがしかしそれがいじましいとしたらそれは予選しない
事実10: あの母上は承認申請でないけれどいじましい
事実11: 「「仕舞い兼ねない」ということは確かである」物はある
事実12: 「発動出来ない」ものはある
事実13: この動植物が仕舞い兼ねればそれは書き起こす
事実14: その記録者は古でないけど曾爺さんだ
事実15: あの軍は発動出来ない
事実16: 仮にこの案内人が棹差さないとすればあの記録者は要するししかも予選する

仮説: この動植物は書き起こす
1. 事実9から、推論1: "あの母上は承認申請であるということはないけれどいじましいならそれは予選しない"が導かれる
2. 推論1と事実10から、推論2: "あの母上は予選しない"が導かれる
3. 推論2と事実7から、推論3: "あの母上は予選しなくて発動出来ない"が導かれる
4. 推論3から、推論4: "「予選しないし発動出来ない」物はある"が導かれる
5. 推論4と事実8から、推論5: "その記録者は要する"が導かれる
6. 推論5と事実6から、推論6: "この動植物は仕舞い兼ねる"が導かれる
7. 推論6と事実13から、仮説が導かれる

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