その急性心不全は二乗検定だということはない一方で如此し
fact1: もし「生まれ難くて二乗検定な」物があるならあの洞窟は間違え易い fact2: 「あの洞窟は間違え易い」ということは正しい fact3: 「その急性心不全は深し」ということは誤りでない fact4: あの記録テーブル関係は如此し fact5: もしなんらかのものが間違え易いし更に二乗検定であるとすればあの洞窟は生まれ難い fact6: その急性心不全は間違え易い fact7: 「生まれ難いものは他家でない」ということは成り立つ fact8: 「二乗検定である」ものはある fact9: 「あの洞窟は他家だ」ということは成り立つ fact10: その急性心不全は如此し fact11: その急性心不全は生まれ難くない
void -> assump1: 以下のように仮定する。その急性心不全は二乗検定である; fact6 & assump1 -> int1: その急性心不全は間違え易くてまた二乗検定である; int1 -> int2: 「間違え易いし二乗検定である」ものはある; int2 & fact5 -> int3: あの洞窟は生まれ難い; fact7 -> int4: もしあの洞窟が生まれ難いならそれは他家であるということはない; int3 & int4 -> int5: あの洞窟は他家でない; int5 & fact9 -> int6: これは矛盾である; [assump1] & int6 -> int7: その急性心不全は二乗検定だということはない; int7 & fact10 -> hypothesis;
$facts$ = fact1: もし「生まれ難くて二乗検定な」物があるならあの洞窟は間違え易い fact2: 「あの洞窟は間違え易い」ということは正しい fact3: 「その急性心不全は深し」ということは誤りでない fact4: あの記録テーブル関係は如此し fact5: もしなんらかのものが間違え易いし更に二乗検定であるとすればあの洞窟は生まれ難い fact6: その急性心不全は間違え易い fact7: 「生まれ難いものは他家でない」ということは成り立つ fact8: 「二乗検定である」ものはある fact9: 「あの洞窟は他家だ」ということは成り立つ fact10: その急性心不全は如此し fact11: その急性心不全は生まれ難くない ; $hypothesis$ = その急性心不全は二乗検定だということはない一方で如此し ; $proof$ = 
void -> assump1: 以下のように仮定する。その急性心不全は二乗検定である; fact6 & assump1 -> int1: その急性心不全は間違え易くてまた二乗検定である; int1 -> int2: 「間違え易いし二乗検定である」ものはある; int2 & fact5 -> int3: あの洞窟は生まれ難い; fact7 -> int4: もしあの洞窟が生まれ難いならそれは他家であるということはない; int3 & int4 -> int5: あの洞窟は他家でない; int5 & fact9 -> int6: これは矛盾である; [assump1] & int6 -> int7: その急性心不全は二乗検定だということはない; int7 & fact10 -> hypothesis; __PROVED__
事実1: もし「生まれ難くて二乗検定な」物があるならあの洞窟は間違え易い
事実2: 「あの洞窟は間違え易い」ということは正しい
事実3: 「その急性心不全は深し」ということは誤りでない
事実4: あの記録テーブル関係は如此し
事実5: もしなんらかのものが間違え易いし更に二乗検定であるとすればあの洞窟は生まれ難い
事実6: その急性心不全は間違え易い
事実7: 「生まれ難いものは他家でない」ということは成り立つ
事実8: 「二乗検定である」ものはある
事実9: 「あの洞窟は他家だ」ということは成り立つ
事実10: その急性心不全は如此し
事実11: その急性心不全は生まれ難くない

仮説: その急性心不全は二乗検定だということはない一方で如此し
1. 仮定1: 以下のように仮定する。その急性心不全は二乗検定である
2. 事実6と仮定1から、推論1: "その急性心不全は間違え易くてまた二乗検定である"が導かれる
3. 推論1から、推論2: "「間違え易いし二乗検定である」ものはある"が導かれる
4. 推論2と事実5から、推論3: "あの洞窟は生まれ難い"が導かれる
5. 事実7から、推論4: "もしあの洞窟が生まれ難いならそれは他家であるということはない"が導かれる
6. 推論3と推論4から、推論5: "あの洞窟は他家でない"が導かれる
7. 推論5と事実9から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その急性心不全は二乗検定だということはない"が導かれる
9. 推論7と事実10から、仮説が導かれる

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