「「同生するということはないしその上取り下げない」ということは成り立たない」ものはある
fact1: もしその十世が四住期だ一方でそれが愛読しないならばこの奏法は無くなり掛ける fact2: この特定地域総合開発計画が九十七年度だしおまけに急降下である fact3: 仮にその十世は訝しむ一方で食道癌でないとすればそれは酔い易い fact4: もしある物は法案提出権でないしおまけに愛読しないならばそれは毛深い fact5: 「「同生しないし取り下げる」ということは偽な」物はある fact6: もしその十世が愛読しないとするとこの集落全体は法案提出権でなくてかつそれは愛読しない fact7: 切り易い物は法案提出権でないかあるいは酔い易いかもしくはどちらもである fact8: もしこの集落全体は毛深いとすれば「「あのＦＩＮセグメントは同生しなくてかつそれは取り下げない」ということは成り立つ」ということは成り立たない fact9: 「この特定地域総合開発計画は九十七年度だ」ということは成り立つとすると「「あのＦＩＮセグメントは拡張しなくて更に訝しむない」ということは成り立たない」ということは成り立つ fact10: 仮に「あのＦＩＮセグメントは拡張しなくて訝しむということはない」ということは偽ならこの集落全体は食道癌でない fact11: 仮にその十世が四住期でないが愛読するならそれは酔い易くない fact12: その十世は訝しむ一方でそれは食道癌でない fact13: 仮にある物が法案提出権でないかあるいは酔い易いか両方だとしたらこの奏法は赤ん坊でない fact14: 仮になにがしかの物は食道癌でないとしたら「それが同生するしその上取り下げる」ということは偽である fact15: あの適量は切り易い fact16: 「その十世は四住期でない」ということは真実だ fact17: 毛深くないものは四住期だけど愛読しない
void -> assump1: 以下のように仮定する。「その十世は愛読する」ということは正しい; fact16 & assump1 -> int1: その十世は四住期であるということはない一方で愛読する; int1 & fact11 -> int2: その十世は酔い易くない; fact12 & fact3 -> int3: その十世は酔い易い; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「その十世は愛読しない」ということは事実だ; int5 & fact6 -> int6: この集落全体は法案提出権でないしおまけに愛読しない; fact4 -> int7: この集落全体は法案提出権でないしかつ愛読するということはないならそれは毛深い; int6 & int7 -> int8: この集落全体は毛深い; int8 & fact8 -> int9: 「あのＦＩＮセグメントは同生するということはなくて取り下げない」ということは嘘である; int9 -> hypothesis;
この奏法は無くなり掛けるけど赤ん坊でない
fact18 -> int10: もしもその十世が毛深くないとしたら四住期だしそれは愛読しない; fact19 -> int11: 仮にこの集落全体は食道癌でないとすれば「それは同生するし加えて取り下げる」ということは嘘である; fact20 -> int12: この特定地域総合開発計画は九十七年度だ; fact25 & int12 -> int13: 「あのＦＩＮセグメントは拡張しないし訝しむない」ということは成り立たない; fact23 & int13 -> int14: この集落全体は食道癌でない; int11 & int14 -> int15: 「この集落全体は同生するししかもそれは取り下げる」ということは間違いである; int15 -> int16: 「「同生するしまた取り下げる」ということは成り立たない」ものはある; fact26 -> int17: あの適量が切り易いとすれば法案提出権でないかもしくはそれは酔い易いかまたは両方である; int17 & fact22 -> int18: あの適量は法案提出権でないかまたはそれは酔い易いかまたはどちらもだ; int18 -> int19: なにがしかのものは法案提出権でないかそれは酔い易いかあるいはどちらもである; int19 & fact21 -> int20: この奏法は赤ん坊でない;
$facts$ = fact1: もしその十世が四住期だ一方でそれが愛読しないならばこの奏法は無くなり掛ける fact2: この特定地域総合開発計画が九十七年度だしおまけに急降下である fact3: 仮にその十世は訝しむ一方で食道癌でないとすればそれは酔い易い fact4: もしある物は法案提出権でないしおまけに愛読しないならばそれは毛深い fact5: 「「同生しないし取り下げる」ということは偽な」物はある fact6: もしその十世が愛読しないとするとこの集落全体は法案提出権でなくてかつそれは愛読しない fact7: 切り易い物は法案提出権でないかあるいは酔い易いかもしくはどちらもである fact8: もしこの集落全体は毛深いとすれば「「あのＦＩＮセグメントは同生しなくてかつそれは取り下げない」ということは成り立つ」ということは成り立たない fact9: 「この特定地域総合開発計画は九十七年度だ」ということは成り立つとすると「「あのＦＩＮセグメントは拡張しなくて更に訝しむない」ということは成り立たない」ということは成り立つ fact10: 仮に「あのＦＩＮセグメントは拡張しなくて訝しむということはない」ということは偽ならこの集落全体は食道癌でない fact11: 仮にその十世が四住期でないが愛読するならそれは酔い易くない fact12: その十世は訝しむ一方でそれは食道癌でない fact13: 仮にある物が法案提出権でないかあるいは酔い易いか両方だとしたらこの奏法は赤ん坊でない fact14: 仮になにがしかの物は食道癌でないとしたら「それが同生するしその上取り下げる」ということは偽である fact15: あの適量は切り易い fact16: 「その十世は四住期でない」ということは真実だ fact17: 毛深くないものは四住期だけど愛読しない ; $hypothesis$ = 「「同生するということはないしその上取り下げない」ということは成り立たない」ものはある ; $proof$ = 
void -> assump1: 以下のように仮定する。「その十世は愛読する」ということは正しい; fact16 & assump1 -> int1: その十世は四住期であるということはない一方で愛読する; int1 & fact11 -> int2: その十世は酔い易くない; fact12 & fact3 -> int3: その十世は酔い易い; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「その十世は愛読しない」ということは事実だ; int5 & fact6 -> int6: この集落全体は法案提出権でないしおまけに愛読しない; fact4 -> int7: この集落全体は法案提出権でないしかつ愛読するということはないならそれは毛深い; int6 & int7 -> int8: この集落全体は毛深い; int8 & fact8 -> int9: 「あのＦＩＮセグメントは同生するということはなくて取り下げない」ということは嘘である; int9 -> hypothesis; __PROVED__
事実1: もしその十世が四住期だ一方でそれが愛読しないならばこの奏法は無くなり掛ける
事実2: この特定地域総合開発計画が九十七年度だしおまけに急降下である
事実3: 仮にその十世は訝しむ一方で食道癌でないとすればそれは酔い易い
事実4: もしある物は法案提出権でないしおまけに愛読しないならばそれは毛深い
事実5: 「「同生しないし取り下げる」ということは偽な」物はある
事実6: もしその十世が愛読しないとするとこの集落全体は法案提出権でなくてかつそれは愛読しない
事実7: 切り易い物は法案提出権でないかあるいは酔い易いかもしくはどちらもである
事実8: もしこの集落全体は毛深いとすれば「「あのＦＩＮセグメントは同生しなくてかつそれは取り下げない」ということは成り立つ」ということは成り立たない
事実9: 「この特定地域総合開発計画は九十七年度だ」ということは成り立つとすると「「あのＦＩＮセグメントは拡張しなくて更に訝しむない」ということは成り立たない」ということは成り立つ
事実10: 仮に「あのＦＩＮセグメントは拡張しなくて訝しむということはない」ということは偽ならこの集落全体は食道癌でない
事実11: 仮にその十世が四住期でないが愛読するならそれは酔い易くない
事実12: その十世は訝しむ一方でそれは食道癌でない
事実13: 仮にある物が法案提出権でないかあるいは酔い易いか両方だとしたらこの奏法は赤ん坊でない
事実14: 仮になにがしかの物は食道癌でないとしたら「それが同生するしその上取り下げる」ということは偽である
事実15: あの適量は切り易い
事実16: 「その十世は四住期でない」ということは真実だ
事実17: 毛深くないものは四住期だけど愛読しない

仮説: 「「同生するということはないしその上取り下げない」ということは成り立たない」ものはある
1. 仮定1: 以下のように仮定する。「その十世は愛読する」ということは正しい
2. 事実16と仮定1から、推論1: "その十世は四住期であるということはない一方で愛読する"が導かれる
3. 推論1と事実11から、推論2: "その十世は酔い易くない"が導かれる
4. 事実12と事実3から、推論3: "その十世は酔い易い"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「その十世は愛読しない」ということは事実だ"が導かれる
7. 推論5と事実6から、推論6: "この集落全体は法案提出権でないしおまけに愛読しない"が導かれる
8. 事実4から、推論7: "この集落全体は法案提出権でないしかつ愛読するということはないならそれは毛深い"が導かれる
9. 推論6と推論7から、推論8: "この集落全体は毛深い"が導かれる
10. 推論8と事実8から、推論9: "「あのＦＩＮセグメントは同生するということはなくて取り下げない」ということは嘘である"が導かれる
11. 推論9から、仮説が導かれる

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