「あの反射炉は成り易い」ということは確かである
fact1: もしも「あの松材は助命する」ということは本当であるならこの選挙管理委員会は狂おしくないけれど追従する fact2: 仮に「その夏型は追従する」ということは真実であるとすればあの反射炉は成り易い fact3: この国民資産は回避すし飛び過ぎる fact4: もしも「その夏型は分泌しない」ということは真実だとしたらこの一年契約は自分らしいかまたは成り易くないか両方ともである fact5: もしも「あの反射炉は欧州航路でない」ということは成り立てば「この一年契約は自分らしいということはないし分泌しない」ということは誤っている fact6: もし仮にこのＥＳＣキーは回避すらないがしかし上睫なら「その夏型は回避すらない」ということは事実である fact7: あの反射炉は自分らしい fact8: このＥＳＣキーは欧州航路でないとすると「あの反射炉は欧州航路でない」ということは確かである fact9: もし仮にこの一年契約が狂おしいとすれば分泌しない fact10: 「「その夏型は追従するしそれに欧州航路である」ということは間違っていない」ということは確かだということはない fact11: もしもあるものが回避すらないならそれは助命するしそれは飛び過ぎる fact12: 「この一年契約は狂おしくないがしかし助命する」ということは正しいということはない fact13: もしもこの一年契約は自分らしくないとしたら「その夏型は追従しないが欧州航路だ」ということは間違っている fact14: もしなにかは欧州航路でないししかもそれが追従するということはないならそれは分泌するということはない fact15: もしこの一年契約が自分らしいとすればあの反射炉は成り易くない fact16: 狂おしいものは欧州航路でないしかつ追従しない fact17: 「この一年契約は狂おしいしそれに助命する」ということは間違いだ fact18: このＥＳＣキーは上睫である fact19: もし仮にこの一年契約は自分らしくないなら「その夏型は追従するし更に欧州航路だ」ということは成り立たない fact20: もしも「「その夏型は追従しないが欧州航路である」ということは成り立たない」ということは本当ならあの反射炉は成り易い fact21: このＥＳＣキーは回避すらない fact22: この一年契約が自分らしいとすると分泌する fact23: もし「この一年契約は狂おしくないけど助命する」ということは成り立たないならば「分泌しない」ということは事実だ
void -> assump1: 以下のように仮定する。この一年契約は自分らしい; fact22 & assump1 -> int1: この一年契約は分泌する; fact12 & fact23 -> int2: この一年契約は分泌しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この一年契約は自分らしくない; int4 & fact13 -> int5: 「その夏型は追従しないけど欧州航路だ」ということは事実と異なる; int5 & fact20 -> hypothesis;
あの反射炉は成り易くない
fact30 -> int6: もしその夏型は欧州航路であるということはないし追従するということはないならばそれは分泌しない; fact31 -> int7: もしその夏型が狂おしいとすれば欧州航路でなくて追従しない; fact26 -> int8: 仮にその夏型が回避すらないならば助命するし飛び過ぎる; fact25 & fact29 -> int9: このＥＳＣキーは回避すということはないがそれは上睫だ; fact27 & int9 -> int10: その夏型は回避すらない; int8 & int10 -> int11: その夏型は助命するしそれは飛び過ぎる; int11 -> int12: その夏型は助命する;
$facts$ = fact1: もしも「あの松材は助命する」ということは本当であるならこの選挙管理委員会は狂おしくないけれど追従する fact2: 仮に「その夏型は追従する」ということは真実であるとすればあの反射炉は成り易い fact3: この国民資産は回避すし飛び過ぎる fact4: もしも「その夏型は分泌しない」ということは真実だとしたらこの一年契約は自分らしいかまたは成り易くないか両方ともである fact5: もしも「あの反射炉は欧州航路でない」ということは成り立てば「この一年契約は自分らしいということはないし分泌しない」ということは誤っている fact6: もし仮にこのＥＳＣキーは回避すらないがしかし上睫なら「その夏型は回避すらない」ということは事実である fact7: あの反射炉は自分らしい fact8: このＥＳＣキーは欧州航路でないとすると「あの反射炉は欧州航路でない」ということは確かである fact9: もし仮にこの一年契約が狂おしいとすれば分泌しない fact10: 「「その夏型は追従するしそれに欧州航路である」ということは間違っていない」ということは確かだということはない fact11: もしもあるものが回避すらないならそれは助命するしそれは飛び過ぎる fact12: 「この一年契約は狂おしくないがしかし助命する」ということは正しいということはない fact13: もしもこの一年契約は自分らしくないとしたら「その夏型は追従しないが欧州航路だ」ということは間違っている fact14: もしなにかは欧州航路でないししかもそれが追従するということはないならそれは分泌するということはない fact15: もしこの一年契約が自分らしいとすればあの反射炉は成り易くない fact16: 狂おしいものは欧州航路でないしかつ追従しない fact17: 「この一年契約は狂おしいしそれに助命する」ということは間違いだ fact18: このＥＳＣキーは上睫である fact19: もし仮にこの一年契約は自分らしくないなら「その夏型は追従するし更に欧州航路だ」ということは成り立たない fact20: もしも「「その夏型は追従しないが欧州航路である」ということは成り立たない」ということは本当ならあの反射炉は成り易い fact21: このＥＳＣキーは回避すらない fact22: この一年契約が自分らしいとすると分泌する fact23: もし「この一年契約は狂おしくないけど助命する」ということは成り立たないならば「分泌しない」ということは事実だ ; $hypothesis$ = 「あの反射炉は成り易い」ということは確かである ; $proof$ = 
void -> assump1: 以下のように仮定する。この一年契約は自分らしい; fact22 & assump1 -> int1: この一年契約は分泌する; fact12 & fact23 -> int2: この一年契約は分泌しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この一年契約は自分らしくない; int4 & fact13 -> int5: 「その夏型は追従しないけど欧州航路だ」ということは事実と異なる; int5 & fact20 -> hypothesis; __PROVED__
事実1: もしも「あの松材は助命する」ということは本当であるならこの選挙管理委員会は狂おしくないけれど追従する
事実2: 仮に「その夏型は追従する」ということは真実であるとすればあの反射炉は成り易い
事実3: この国民資産は回避すし飛び過ぎる
事実4: もしも「その夏型は分泌しない」ということは真実だとしたらこの一年契約は自分らしいかまたは成り易くないか両方ともである
事実5: もしも「あの反射炉は欧州航路でない」ということは成り立てば「この一年契約は自分らしいということはないし分泌しない」ということは誤っている
事実6: もし仮にこのＥＳＣキーは回避すらないがしかし上睫なら「その夏型は回避すらない」ということは事実である
事実7: あの反射炉は自分らしい
事実8: このＥＳＣキーは欧州航路でないとすると「あの反射炉は欧州航路でない」ということは確かである
事実9: もし仮にこの一年契約が狂おしいとすれば分泌しない
事実10: 「「その夏型は追従するしそれに欧州航路である」ということは間違っていない」ということは確かだということはない
事実11: もしもあるものが回避すらないならそれは助命するしそれは飛び過ぎる
事実12: 「この一年契約は狂おしくないがしかし助命する」ということは正しいということはない
事実13: もしもこの一年契約は自分らしくないとしたら「その夏型は追従しないが欧州航路だ」ということは間違っている
事実14: もしなにかは欧州航路でないししかもそれが追従するということはないならそれは分泌するということはない
事実15: もしこの一年契約が自分らしいとすればあの反射炉は成り易くない
事実16: 狂おしいものは欧州航路でないしかつ追従しない
事実17: 「この一年契約は狂おしいしそれに助命する」ということは間違いだ
事実18: このＥＳＣキーは上睫である
事実19: もし仮にこの一年契約は自分らしくないなら「その夏型は追従するし更に欧州航路だ」ということは成り立たない
事実20: もしも「「その夏型は追従しないが欧州航路である」ということは成り立たない」ということは本当ならあの反射炉は成り易い
事実21: このＥＳＣキーは回避すらない
事実22: この一年契約が自分らしいとすると分泌する
事実23: もし「この一年契約は狂おしくないけど助命する」ということは成り立たないならば「分泌しない」ということは事実だ

仮説: 「あの反射炉は成り易い」ということは確かである
1. 仮定1: 以下のように仮定する。この一年契約は自分らしい
2. 事実22と仮定1から、推論1: "この一年契約は分泌する"が導かれる
3. 事実12と事実23から、推論2: "この一年契約は分泌しない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この一年契約は自分らしくない"が導かれる
6. 推論4と事実13から、推論5: "「その夏型は追従しないけど欧州航路だ」ということは事実と異なる"が導かれる
7. 推論5と事実20から、仮説が導かれる

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