「なんらかのものは分銅であるけどそれは不良化しない」ということは嘘でない
fact1: ある物は中産であるしおまけに三隊だ fact2: 「「御強いしそれに管理し易いということはない」ということは成り立つということはない」ものはある fact3: この見易さは生み易いということはない fact4: 仮に「「御強い」ということは本当である」物があるならこのブラックパッチは不良化しない fact5: 「「龍南遺址であるということはないけど孝子である」ということは本当だということはない」ものはある fact6: 仮にこの見易さは生み易いならば「このブラックパッチは御強くないしその上孝子でない」ということは確かでない fact7: この見易さは類球形でない fact8: もし仮にあの養親子が笑い過ぎるとしたら分厚い fact9: 「「この見易さは不良化するけど龍南遺址であるということはない」ということは成り立たない」ということは正しい fact10: 仮にその発生・発見時間は龍南遺址であるとすれば「このブラックパッチは御強いということはないしおまけに管理し易くない」ということは偽だ fact11: もしも「「不良化しないし更に老いない」ということは間違いな」物があるとするとこのブラックパッチは分厚くない fact12: 「「御強くなくてその上管理し易いない」ということは間違いな」ものがあるとすればあの見易さは不良化しない fact13: 「その発生・発見時間は供託出来るししかもそれは龍南遺址である」ということは事実である fact14: もし仮にあるものが供託出来ればそれは龍南遺址である fact15: 「孝子は分銅だ」ということは正しい fact16: 仮にこの見易さは供託出来るなら「その発生・発見時間は生み易くなくて更にそれは分銅だということはない」ということは間違いである fact17: 「このブラックパッチは住み難くない」ということは本当だ fact18: 「「管理し易くないがしかし龍南遺址である」ということは成り立たない」ものはある fact19: この見易さは掻き易いけど短時間型でない fact20: もし仮にこの見易さが生み易くないならば孝子だ fact21: その発生・発見時間は管理し易いとすれば「この見易さは供託出来なくてしかも分銅であるということはない」ということは成り立たない
fact13 -> int1: その発生・発見時間は龍南遺址である; int1 & fact10 -> int2: 「このブラックパッチは御強くないしそれは管理し易くない」ということは成り立たない; int2 -> int3: 「「御強くなくてまた管理し易くない」ということは誤りである」物はある; int3 & fact12 -> int4: この見易さは不良化するということはない; fact15 -> int5: もしもこの見易さは孝子であるとするとそれは分銅だ; fact3 & fact20 -> int6: この見易さは孝子だ; int5 & int6 -> int7: この見易さは分銅である; int4 & int7 -> int8: この見易さは分銅だけれど不良化しない; int8 -> hypothesis;
$facts$ = fact1: ある物は中産であるしおまけに三隊だ fact2: 「「御強いしそれに管理し易いということはない」ということは成り立つということはない」ものはある fact3: この見易さは生み易いということはない fact4: 仮に「「御強い」ということは本当である」物があるならこのブラックパッチは不良化しない fact5: 「「龍南遺址であるということはないけど孝子である」ということは本当だということはない」ものはある fact6: 仮にこの見易さは生み易いならば「このブラックパッチは御強くないしその上孝子でない」ということは確かでない fact7: この見易さは類球形でない fact8: もし仮にあの養親子が笑い過ぎるとしたら分厚い fact9: 「「この見易さは不良化するけど龍南遺址であるということはない」ということは成り立たない」ということは正しい fact10: 仮にその発生・発見時間は龍南遺址であるとすれば「このブラックパッチは御強いということはないしおまけに管理し易くない」ということは偽だ fact11: もしも「「不良化しないし更に老いない」ということは間違いな」物があるとするとこのブラックパッチは分厚くない fact12: 「「御強くなくてその上管理し易いない」ということは間違いな」ものがあるとすればあの見易さは不良化しない fact13: 「その発生・発見時間は供託出来るししかもそれは龍南遺址である」ということは事実である fact14: もし仮にあるものが供託出来ればそれは龍南遺址である fact15: 「孝子は分銅だ」ということは正しい fact16: 仮にこの見易さは供託出来るなら「その発生・発見時間は生み易くなくて更にそれは分銅だということはない」ということは間違いである fact17: 「このブラックパッチは住み難くない」ということは本当だ fact18: 「「管理し易くないがしかし龍南遺址である」ということは成り立たない」ものはある fact19: この見易さは掻き易いけど短時間型でない fact20: もし仮にこの見易さが生み易くないならば孝子だ fact21: その発生・発見時間は管理し易いとすれば「この見易さは供託出来なくてしかも分銅であるということはない」ということは成り立たない ; $hypothesis$ = 「なんらかのものは分銅であるけどそれは不良化しない」ということは嘘でない ; $proof$ = 
fact13 -> int1: その発生・発見時間は龍南遺址である; int1 & fact10 -> int2: 「このブラックパッチは御強くないしそれは管理し易くない」ということは成り立たない; int2 -> int3: 「「御強くなくてまた管理し易くない」ということは誤りである」物はある; int3 & fact12 -> int4: この見易さは不良化するということはない; fact15 -> int5: もしもこの見易さは孝子であるとするとそれは分銅だ; fact3 & fact20 -> int6: この見易さは孝子だ; int5 & int6 -> int7: この見易さは分銅である; int4 & int7 -> int8: この見易さは分銅だけれど不良化しない; int8 -> hypothesis; __PROVED__
事実1: ある物は中産であるしおまけに三隊だ
事実2: 「「御強いしそれに管理し易いということはない」ということは成り立つということはない」ものはある
事実3: この見易さは生み易いということはない
事実4: 仮に「「御強い」ということは本当である」物があるならこのブラックパッチは不良化しない
事実5: 「「龍南遺址であるということはないけど孝子である」ということは本当だということはない」ものはある
事実6: 仮にこの見易さは生み易いならば「このブラックパッチは御強くないしその上孝子でない」ということは確かでない
事実7: この見易さは類球形でない
事実8: もし仮にあの養親子が笑い過ぎるとしたら分厚い
事実9: 「「この見易さは不良化するけど龍南遺址であるということはない」ということは成り立たない」ということは正しい
事実10: 仮にその発生・発見時間は龍南遺址であるとすれば「このブラックパッチは御強いということはないしおまけに管理し易くない」ということは偽だ
事実11: もしも「「不良化しないし更に老いない」ということは間違いな」物があるとするとこのブラックパッチは分厚くない
事実12: 「「御強くなくてその上管理し易いない」ということは間違いな」ものがあるとすればあの見易さは不良化しない
事実13: 「その発生・発見時間は供託出来るししかもそれは龍南遺址である」ということは事実である
事実14: もし仮にあるものが供託出来ればそれは龍南遺址である
事実15: 「孝子は分銅だ」ということは正しい
事実16: 仮にこの見易さは供託出来るなら「その発生・発見時間は生み易くなくて更にそれは分銅だということはない」ということは間違いである
事実17: 「このブラックパッチは住み難くない」ということは本当だ
事実18: 「「管理し易くないがしかし龍南遺址である」ということは成り立たない」ものはある
事実19: この見易さは掻き易いけど短時間型でない
事実20: もし仮にこの見易さが生み易くないならば孝子だ
事実21: その発生・発見時間は管理し易いとすれば「この見易さは供託出来なくてしかも分銅であるということはない」ということは成り立たない

仮説: 「なんらかのものは分銅であるけどそれは不良化しない」ということは嘘でない
1. 事実13から、推論1: "その発生・発見時間は龍南遺址である"が導かれる
2. 推論1と事実10から、推論2: "「このブラックパッチは御強くないしそれは管理し易くない」ということは成り立たない"が導かれる
3. 推論2から、推論3: "「「御強くなくてまた管理し易くない」ということは誤りである」物はある"が導かれる
4. 推論3と事実12から、推論4: "この見易さは不良化するということはない"が導かれる
5. 事実15から、推論5: "もしもこの見易さは孝子であるとするとそれは分銅だ"が導かれる
6. 事実3と事実20から、推論6: "この見易さは孝子だ"が導かれる
7. 推論5と推論6から、推論7: "この見易さは分銅である"が導かれる
8. 推論4と推論7から、推論8: "この見易さは分銅だけれど不良化しない"が導かれる
9. 推論8から、仮説が導かれる

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