この危険要因は生物多様性でないけれど養母だ
fact1: もし仮にその輸出加工地域はリーダーであるとすると剥げる fact2: もし仮にその解雇が剥げるしかつリーダーであるとすれば市民塾でない fact3: もしその解雇がリーダーでないとしたらこの危険要因は生物多様性でないが養母である fact4: 仮になにかは園生達なら「生物多様性でなくておまけにそれは養母である」ということは事実と異なる fact5: もし仮にその輸出加工地域が剥げるしかつそれが市民塾であるとすればその解雇は剥げない fact6: 届き難い園生達はある fact7: その解雇は国会開設である fact8: もしその解雇は国会開設であるとすれば市民塾だ fact9: もし仮に届き難い園生達はあれば「その解雇は剥げる」ということは成り立つ fact10: 「届き難い」物はある fact11: この危険要因は養母だ
fact6 & fact9 -> int1: 「その解雇は剥げる」ということは事実である; void -> assump1: 以下のように仮定する。その解雇はリーダーだ; int1 & assump1 -> int2: その解雇は剥げるしおまけにリーダーである; int2 & fact2 -> int3: その解雇は市民塾でない; fact8 & fact7 -> int4: その解雇は市民塾である; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その解雇はリーダーでない; int6 & fact3 -> hypothesis;
「この危険要因は生物多様性であるということはない一方で養母である」ということは真実でない
fact12 -> int7: 仮にこの危険要因は園生達であるとすれば「生物多様性でないけど養母である」ということは間違いである;
$facts$ = fact1: もし仮にその輸出加工地域はリーダーであるとすると剥げる fact2: もし仮にその解雇が剥げるしかつリーダーであるとすれば市民塾でない fact3: もしその解雇がリーダーでないとしたらこの危険要因は生物多様性でないが養母である fact4: 仮になにかは園生達なら「生物多様性でなくておまけにそれは養母である」ということは事実と異なる fact5: もし仮にその輸出加工地域が剥げるしかつそれが市民塾であるとすればその解雇は剥げない fact6: 届き難い園生達はある fact7: その解雇は国会開設である fact8: もしその解雇は国会開設であるとすれば市民塾だ fact9: もし仮に届き難い園生達はあれば「その解雇は剥げる」ということは成り立つ fact10: 「届き難い」物はある fact11: この危険要因は養母だ ; $hypothesis$ = この危険要因は生物多様性でないけれど養母だ ; $proof$ = 
fact6 & fact9 -> int1: 「その解雇は剥げる」ということは事実である; void -> assump1: 以下のように仮定する。その解雇はリーダーだ; int1 & assump1 -> int2: その解雇は剥げるしおまけにリーダーである; int2 & fact2 -> int3: その解雇は市民塾でない; fact8 & fact7 -> int4: その解雇は市民塾である; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その解雇はリーダーでない; int6 & fact3 -> hypothesis; __PROVED__
事実1: もし仮にその輸出加工地域はリーダーであるとすると剥げる
事実2: もし仮にその解雇が剥げるしかつリーダーであるとすれば市民塾でない
事実3: もしその解雇がリーダーでないとしたらこの危険要因は生物多様性でないが養母である
事実4: 仮になにかは園生達なら「生物多様性でなくておまけにそれは養母である」ということは事実と異なる
事実5: もし仮にその輸出加工地域が剥げるしかつそれが市民塾であるとすればその解雇は剥げない
事実6: 届き難い園生達はある
事実7: その解雇は国会開設である
事実8: もしその解雇は国会開設であるとすれば市民塾だ
事実9: もし仮に届き難い園生達はあれば「その解雇は剥げる」ということは成り立つ
事実10: 「届き難い」物はある
事実11: この危険要因は養母だ

仮説: この危険要因は生物多様性でないけれど養母だ
1. 事実6と事実9から、推論1: "「その解雇は剥げる」ということは事実である"が導かれる
2. 仮定1: 以下のように仮定する。その解雇はリーダーだ
3. 推論1と仮定1から、推論2: "その解雇は剥げるしおまけにリーダーである"が導かれる
4. 推論2と事実2から、推論3: "その解雇は市民塾でない"が導かれる
5. 事実8と事実7から、推論4: "その解雇は市民塾である"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その解雇はリーダーでない"が導かれる
8. 推論6と事実3から、仮説が導かれる

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