この明治前期は事実審裁判官だ
fact1: とあるものは事実審裁判官だ一方で応募しない fact2: 「「過敏反応であるし加えて応募する」ということは間違いな」ものはある fact3: 「この明治前期は事実審裁判官であるが過敏反応であるということはない」ということは間違っている fact4: なにがしかのものは過敏反応だ一方で応募しない fact5: 「この前年は生き長らえるし事実審裁判官だ」ということは間違いだ fact6: もし「事実審裁判官である」物があるならこの明治前期は生き長らえる fact7: 「この明治前期は応募するけれど得られ易くない」ということは偽だ fact8: もしこの明治前期は応募しないとしたら「この前年は過敏反応であるし事実審裁判官である」ということは成り立たない fact9: 「この前年は応募するがしかし過敏反応だということはない」ということは嘘である fact10: なにかは我々全員であるかもしくは前掲書でないかまたは両方ともであるとしたら「前掲書でない」ということは正しい fact11: この社会福祉活動は過敏反応でない fact12: もしこの社会福祉活動が前掲書でないとすれば過敏反応でないしそれは調べ易くない fact13: 「「応募するし過敏反応でない」ということは成り立たない」ものはある fact14: もしこの社会福祉活動は過敏反応であるということはないならば「この前年は生き長らえるけれどそれは応募しない」ということは成り立つということはない fact15: ある物は生き長らえるけれどそれは事実審裁判官でない fact16: もし仮にこの明治前期は応募するということはないなら「この社会福祉活動は過敏反応だし事実審裁判官である」ということは間違いだ fact17: 「この前年は過敏反応だ一方で応募するということはない」ということは誤りである fact18: もし「「生き長らえるし応募するということはない」ということは嘘である」ものがあるとすればこの明治前期は事実審裁判官である
fact14 & fact11 -> int1: 「この前年は生き長らえる一方で応募しない」ということは成り立たない; int1 -> int2: 「「生き長らえる一方で応募しない」ということは誤りな」ものはある; int2 & fact18 -> hypothesis;
fact14 & fact11 -> int1: ¬({AA}{b} & ¬{AB}{b}); int1 -> int2: (Ex): ¬({AA}x & ¬{AB}x); int2 & fact18 -> hypothesis;
この明治前期は事実審裁判官だということはない
fact19 -> int3: もしもこの社会福祉活動は我々全員であるかもしくは前掲書でないかあるいはどちらもであるとしたら前掲書でない;
$facts$ = fact1: とあるものは事実審裁判官だ一方で応募しない fact2: 「「過敏反応であるし加えて応募する」ということは間違いな」ものはある fact3: 「この明治前期は事実審裁判官であるが過敏反応であるということはない」ということは間違っている fact4: なにがしかのものは過敏反応だ一方で応募しない fact5: 「この前年は生き長らえるし事実審裁判官だ」ということは間違いだ fact6: もし「事実審裁判官である」物があるならこの明治前期は生き長らえる fact7: 「この明治前期は応募するけれど得られ易くない」ということは偽だ fact8: もしこの明治前期は応募しないとしたら「この前年は過敏反応であるし事実審裁判官である」ということは成り立たない fact9: 「この前年は応募するがしかし過敏反応だということはない」ということは嘘である fact10: なにかは我々全員であるかもしくは前掲書でないかまたは両方ともであるとしたら「前掲書でない」ということは正しい fact11: この社会福祉活動は過敏反応でない fact12: もしこの社会福祉活動が前掲書でないとすれば過敏反応でないしそれは調べ易くない fact13: 「「応募するし過敏反応でない」ということは成り立たない」ものはある fact14: もしこの社会福祉活動は過敏反応であるということはないならば「この前年は生き長らえるけれどそれは応募しない」ということは成り立つということはない fact15: ある物は生き長らえるけれどそれは事実審裁判官でない fact16: もし仮にこの明治前期は応募するということはないなら「この社会福祉活動は過敏反応だし事実審裁判官である」ということは間違いだ fact17: 「この前年は過敏反応だ一方で応募するということはない」ということは誤りである fact18: もし「「生き長らえるし応募するということはない」ということは嘘である」ものがあるとすればこの明治前期は事実審裁判官である ; $hypothesis$ = この明治前期は事実審裁判官だ ; $proof$ = 
fact14 & fact11 -> int1: 「この前年は生き長らえる一方で応募しない」ということは成り立たない; int1 -> int2: 「「生き長らえる一方で応募しない」ということは誤りな」ものはある; int2 & fact18 -> hypothesis; __PROVED__
事実1: とあるものは事実審裁判官だ一方で応募しない
事実2: 「「過敏反応であるし加えて応募する」ということは間違いな」ものはある
事実3: 「この明治前期は事実審裁判官であるが過敏反応であるということはない」ということは間違っている
事実4: なにがしかのものは過敏反応だ一方で応募しない
事実5: 「この前年は生き長らえるし事実審裁判官だ」ということは間違いだ
事実6: もし「事実審裁判官である」物があるならこの明治前期は生き長らえる
事実7: 「この明治前期は応募するけれど得られ易くない」ということは偽だ
事実8: もしこの明治前期は応募しないとしたら「この前年は過敏反応であるし事実審裁判官である」ということは成り立たない
事実9: 「この前年は応募するがしかし過敏反応だということはない」ということは嘘である
事実10: なにかは我々全員であるかもしくは前掲書でないかまたは両方ともであるとしたら「前掲書でない」ということは正しい
事実11: この社会福祉活動は過敏反応でない
事実12: もしこの社会福祉活動が前掲書でないとすれば過敏反応でないしそれは調べ易くない
事実13: 「「応募するし過敏反応でない」ということは成り立たない」ものはある
事実14: もしこの社会福祉活動は過敏反応であるということはないならば「この前年は生き長らえるけれどそれは応募しない」ということは成り立つということはない
事実15: ある物は生き長らえるけれどそれは事実審裁判官でない
事実16: もし仮にこの明治前期は応募するということはないなら「この社会福祉活動は過敏反応だし事実審裁判官である」ということは間違いだ
事実17: 「この前年は過敏反応だ一方で応募するということはない」ということは誤りである
事実18: もし「「生き長らえるし応募するということはない」ということは嘘である」ものがあるとすればこの明治前期は事実審裁判官である

仮説: この明治前期は事実審裁判官だ
1. 事実14と事実11から、推論1: "「この前年は生き長らえる一方で応募しない」ということは成り立たない"が導かれる
2. 推論1から、推論2: "「「生き長らえる一方で応募しない」ということは誤りな」ものはある"が導かれる
3. 推論2と事実18から、仮説が導かれる

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