「その寿徳寺境外墓地は果てし無い」ということは事実である
fact1: その静脈産業は弄しない fact2: その静脈産業は第一法規だ fact3: 「「第一法規だけど生じない」ということは誤っている」物はある fact4: 「第一法規でないし生じない」ものはある fact5: もし仮に何らかのものは第一法規でないならばそれは果てし無くない fact6: もし仮になんらかの物が第一法規だとすればそれは承知致す fact7: もし仮にその静脈産業が弄するとしたらその寿徳寺境外墓地は生じるけれど物販だということはない fact8: 仮に何らかの物が弄するなら果てし無い fact9: その静脈産業は生じない fact10: もし仮に「生じる」物があるとするとこの追い込み漁は物販だ fact11: その寿徳寺境外墓地は事業手法である fact12: 「「第一法規でないが生じる」ということは事実と異なる」物はある fact13: もしもとあるものが生じるけれど物販でないとしたら第一法規でない fact14: もし仮に「この追い込み漁は物販である」ということは真実ならば「その寿徳寺境外墓地は弄する」ということは本当である fact15: もし仮に「「第一法規でなくてその上生じない」ということは真実でない」物があるとするとこの追い込み漁は物販だ fact16: 「その静脈産業は物販でないし生じない」ということは成り立たない
void -> assump1: 以下のように仮定する。その静脈産業は第一法規でなくて生じない; assump1 -> int1: その静脈産業は第一法規でない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その静脈産業は第一法規でなくてしかも生じない」ということは嘘である; int3 -> int4: 「「第一法規でないし更に生じない」ということは誤りな」物はある; int4 & fact15 -> int5: この追い込み漁は物販だ; int5 & fact14 -> int6: その寿徳寺境外墓地は弄する; fact8 -> int7: もしその寿徳寺境外墓地が弄するとするとそれは果てし無い; int6 & int7 -> hypothesis;
その寿徳寺境外墓地は果てし無くない
fact17 -> int8: もし仮にその寿徳寺境外墓地は第一法規であるということはないとしたら果てし無くない; fact18 -> int9: もしもその寿徳寺境外墓地は生じる一方で物販でないならばそれは第一法規だということはない;
$facts$ = fact1: その静脈産業は弄しない fact2: その静脈産業は第一法規だ fact3: 「「第一法規だけど生じない」ということは誤っている」物はある fact4: 「第一法規でないし生じない」ものはある fact5: もし仮に何らかのものは第一法規でないならばそれは果てし無くない fact6: もし仮になんらかの物が第一法規だとすればそれは承知致す fact7: もし仮にその静脈産業が弄するとしたらその寿徳寺境外墓地は生じるけれど物販だということはない fact8: 仮に何らかの物が弄するなら果てし無い fact9: その静脈産業は生じない fact10: もし仮に「生じる」物があるとするとこの追い込み漁は物販だ fact11: その寿徳寺境外墓地は事業手法である fact12: 「「第一法規でないが生じる」ということは事実と異なる」物はある fact13: もしもとあるものが生じるけれど物販でないとしたら第一法規でない fact14: もし仮に「この追い込み漁は物販である」ということは真実ならば「その寿徳寺境外墓地は弄する」ということは本当である fact15: もし仮に「「第一法規でなくてその上生じない」ということは真実でない」物があるとするとこの追い込み漁は物販だ fact16: 「その静脈産業は物販でないし生じない」ということは成り立たない ; $hypothesis$ = 「その寿徳寺境外墓地は果てし無い」ということは事実である ; $proof$ = 
void -> assump1: 以下のように仮定する。その静脈産業は第一法規でなくて生じない; assump1 -> int1: その静脈産業は第一法規でない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その静脈産業は第一法規でなくてしかも生じない」ということは嘘である; int3 -> int4: 「「第一法規でないし更に生じない」ということは誤りな」物はある; int4 & fact15 -> int5: この追い込み漁は物販だ; int5 & fact14 -> int6: その寿徳寺境外墓地は弄する; fact8 -> int7: もしその寿徳寺境外墓地が弄するとするとそれは果てし無い; int6 & int7 -> hypothesis; __PROVED__
事実1: その静脈産業は弄しない
事実2: その静脈産業は第一法規だ
事実3: 「「第一法規だけど生じない」ということは誤っている」物はある
事実4: 「第一法規でないし生じない」ものはある
事実5: もし仮に何らかのものは第一法規でないならばそれは果てし無くない
事実6: もし仮になんらかの物が第一法規だとすればそれは承知致す
事実7: もし仮にその静脈産業が弄するとしたらその寿徳寺境外墓地は生じるけれど物販だということはない
事実8: 仮に何らかの物が弄するなら果てし無い
事実9: その静脈産業は生じない
事実10: もし仮に「生じる」物があるとするとこの追い込み漁は物販だ
事実11: その寿徳寺境外墓地は事業手法である
事実12: 「「第一法規でないが生じる」ということは事実と異なる」物はある
事実13: もしもとあるものが生じるけれど物販でないとしたら第一法規でない
事実14: もし仮に「この追い込み漁は物販である」ということは真実ならば「その寿徳寺境外墓地は弄する」ということは本当である
事実15: もし仮に「「第一法規でなくてその上生じない」ということは真実でない」物があるとするとこの追い込み漁は物販だ
事実16: 「その静脈産業は物販でないし生じない」ということは成り立たない

仮説: 「その寿徳寺境外墓地は果てし無い」ということは事実である
1. 仮定1: 以下のように仮定する。その静脈産業は第一法規でなくて生じない
2. 仮定1から、推論1: "その静脈産業は第一法規でない"が導かれる
3. 推論1と事実2から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「その静脈産業は第一法規でなくてしかも生じない」ということは嘘である"が導かれる
5. 推論3から、推論4: "「「第一法規でないし更に生じない」ということは誤りな」物はある"が導かれる
6. 推論4と事実15から、推論5: "この追い込み漁は物販だ"が導かれる
7. 推論5と事実14から、推論6: "その寿徳寺境外墓地は弄する"が導かれる
8. 事実8から、推論7: "もしその寿徳寺境外墓地が弄するとするとそれは果てし無い"が導かれる
9. 推論6と推論7から、仮説が導かれる

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