「心配為さらなくて没収する」ものはある
fact1: 「あるものは心配為さるしかつ没収する」ということは間違いでない fact2: もしもなにがしかの物がロスしないとしたら心配為さらないけれど没収する fact3: 「この和気藹々は環境税だ」ということは事実である fact4: あの指数関数は没収する fact5: 仮にこの和気藹々が環境税だとしたらあの指数関数は環境税である fact6: あの指数関数はあくどくない fact7: ＧＶＨＤは環境税であるならばそれはロスしない fact8: あの指数関数はＧＶＨＤであるけれどあくどくない fact9: もしとあるものがロスしないとすると没収する
fact8 -> int1: あの指数関数はＧＶＨＤである; fact5 & fact3 -> int2: あの指数関数は環境税だ; int1 & int2 -> int3: あの指数関数はＧＶＨＤでまた環境税だ; fact7 -> int4: もし仮にあの指数関数はＧＶＨＤだし更に環境税であるとするとロスしない; int3 & int4 -> int5: あの指数関数はロスしない; fact2 -> int6: もし仮にあの指数関数がロスしないとすると心配為さらなくてしかもそれは没収する; int5 & int6 -> int7: あの指数関数は心配為さるということはないけれど没収する; int7 -> hypothesis;
$facts$ = fact1: 「あるものは心配為さるしかつ没収する」ということは間違いでない fact2: もしもなにがしかの物がロスしないとしたら心配為さらないけれど没収する fact3: 「この和気藹々は環境税だ」ということは事実である fact4: あの指数関数は没収する fact5: 仮にこの和気藹々が環境税だとしたらあの指数関数は環境税である fact6: あの指数関数はあくどくない fact7: ＧＶＨＤは環境税であるならばそれはロスしない fact8: あの指数関数はＧＶＨＤであるけれどあくどくない fact9: もしとあるものがロスしないとすると没収する ; $hypothesis$ = 「心配為さらなくて没収する」ものはある ; $proof$ = 
fact8 -> int1: あの指数関数はＧＶＨＤである; fact5 & fact3 -> int2: あの指数関数は環境税だ; int1 & int2 -> int3: あの指数関数はＧＶＨＤでまた環境税だ; fact7 -> int4: もし仮にあの指数関数はＧＶＨＤだし更に環境税であるとするとロスしない; int3 & int4 -> int5: あの指数関数はロスしない; fact2 -> int6: もし仮にあの指数関数がロスしないとすると心配為さらなくてしかもそれは没収する; int5 & int6 -> int7: あの指数関数は心配為さるということはないけれど没収する; int7 -> hypothesis; __PROVED__
事実1: 「あるものは心配為さるしかつ没収する」ということは間違いでない
事実2: もしもなにがしかの物がロスしないとしたら心配為さらないけれど没収する
事実3: 「この和気藹々は環境税だ」ということは事実である
事実4: あの指数関数は没収する
事実5: 仮にこの和気藹々が環境税だとしたらあの指数関数は環境税である
事実6: あの指数関数はあくどくない
事実7: ＧＶＨＤは環境税であるならばそれはロスしない
事実8: あの指数関数はＧＶＨＤであるけれどあくどくない
事実9: もしとあるものがロスしないとすると没収する

仮説: 「心配為さらなくて没収する」ものはある
1. 事実8から、推論1: "あの指数関数はＧＶＨＤである"が導かれる
2. 事実5と事実3から、推論2: "あの指数関数は環境税だ"が導かれる
3. 推論1と推論2から、推論3: "あの指数関数はＧＶＨＤでまた環境税だ"が導かれる
4. 事実7から、推論4: "もし仮にあの指数関数はＧＶＨＤだし更に環境税であるとするとロスしない"が導かれる
5. 推論3と推論4から、推論5: "あの指数関数はロスしない"が導かれる
6. 事実2から、推論6: "もし仮にあの指数関数がロスしないとすると心配為さらなくてしかもそれは没収する"が導かれる
7. 推論5と推論6から、推論7: "あの指数関数は心配為さるということはないけれど没収する"が導かれる
8. 推論7から、仮説が導かれる

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