その自然博物学は十四席である一方で連結ベースだということはない
fact1: もしもなにがしかの物は歯止めでないとすると「それは堕するしそれは顕在化し易くない」ということは成り立たない fact2: もし仮に「何らかのものは読み替えないしそれはされ易くない」ということは誤りであるとしたらそれは読み替える fact3: そのローマ市民権取得は自費出版でない fact4: 「この満塁はされ易くない」ということは本当である fact5: もしもその還住がロングショットであるし一二年前であるとしたらそれは忍耐強くない fact6: 仮にその還住が街でないならそのローマ市民権取得は読み替える一方でされ易くない fact7: もし仮にその還住が忍耐強くないとするとその自然博物学はロングショットだということはない fact8: もしもその還住が忍耐強くないならばその駿足は読み替えない fact9: もしもなにがしかのものが読み替えるけれど十四席でないとするとそれは忍耐強くない fact10: もしもこの満塁が十四席でないとしたらその自然博物学は連結ベースでない fact11: もしこの満塁が十四席だということはないとしたらその自然博物学は十四席であるが連結ベースでない fact12: もしもその駿足が自費出版だとすればその還住は街である fact13: この満塁はロングショットでないけどされ易いならばそれは十四席でない fact14: もしこの満塁はロングショットだということはなくて更にされ易くないとすればそれは十四席でない fact15: もしも「そのローマ市民権取得は十四席でまた連結ベースである」ということは誤りであるとすると十四席でない fact16: もしそのローマ市民権取得は自費出版でないとすれば「十四席だしおまけに連結ベースだ」ということは誤りである fact17: 「その還住は一二年前である」ということは偽でない fact18: 何かは読み替えるとするとそれは忍耐強くないかまたは一二年前でないかまたはどちらもだ fact19: その還住は街でない fact20: その還住はロングショットでないとすると「この満塁はロングショットでないしされ易いない」ということは成り立つ fact21: もしも「なにがしかの物は堕するがしかし顕在化し易くない」ということは間違っているなら「自費出版である」ということは事実である fact22: もしその還住がロングショットでないとすればこの満塁はされ易くない fact23: その駿足は読み替える fact24: その在籍は読み替える fact25: もし仮にあるものはロングショットでないなら「十四席であるけれど連結ベースであるということはない」ということは成り立たない fact26: もし仮に「とあるものは街である」ということは成り立つとしたら「読み替えるということはなくてかつされ易くない」ということは誤りである
void -> assump1: 以下のように仮定する。その還住はロングショットである; assump1 & fact17 -> int1: その還住はロングショットであるし更に一二年前だ; int1 & fact5 -> int2: その還住は忍耐強くない; int2 & fact8 -> int3: その駿足は読み替えない; int3 & fact23 -> int4: これは矛盾である; [assump1] & int4 -> int5: その還住はロングショットでない; int5 & fact20 -> int6: この満塁はロングショットでないしまたされ易くない; int6 & fact14 -> int7: この満塁は十四席だということはない; int7 & fact11 -> hypothesis;
「その自然博物学は十四席であるが連結ベースでない」ということは成り立たない
fact34 -> int8: もしその自然博物学はロングショットでないとしたら「それは十四席でかつそれは連結ベースでない」ということは偽だ; fact29 -> int9: 仮にその還住は読み替えるとすると「それは忍耐強くないかもしくは一二年前でないかまたはどちらもである」ということは成り立つ; fact33 -> int10: 仮に「その還住が読み替えないしその上され易いということはない」ということは事実でないならば読み替える; fact28 -> int11: もしもその還住は街なら「読み替えないしそれはされ易くない」ということは嘘である; fact32 -> int12: 仮に「その駿足は堕するが顕在化し易くない」ということは成り立たないとすればそれは自費出版である; fact27 -> int13: もし仮にその駿足は歯止めであるということはないならば「堕するが顕在化し易くない」ということは成り立たない;
$facts$ = fact1: もしもなにがしかの物は歯止めでないとすると「それは堕するしそれは顕在化し易くない」ということは成り立たない fact2: もし仮に「何らかのものは読み替えないしそれはされ易くない」ということは誤りであるとしたらそれは読み替える fact3: そのローマ市民権取得は自費出版でない fact4: 「この満塁はされ易くない」ということは本当である fact5: もしもその還住がロングショットであるし一二年前であるとしたらそれは忍耐強くない fact6: 仮にその還住が街でないならそのローマ市民権取得は読み替える一方でされ易くない fact7: もし仮にその還住が忍耐強くないとするとその自然博物学はロングショットだということはない fact8: もしもその還住が忍耐強くないならばその駿足は読み替えない fact9: もしもなにがしかのものが読み替えるけれど十四席でないとするとそれは忍耐強くない fact10: もしもこの満塁が十四席でないとしたらその自然博物学は連結ベースでない fact11: もしこの満塁が十四席だということはないとしたらその自然博物学は十四席であるが連結ベースでない fact12: もしもその駿足が自費出版だとすればその還住は街である fact13: この満塁はロングショットでないけどされ易いならばそれは十四席でない fact14: もしこの満塁はロングショットだということはなくて更にされ易くないとすればそれは十四席でない fact15: もしも「そのローマ市民権取得は十四席でまた連結ベースである」ということは誤りであるとすると十四席でない fact16: もしそのローマ市民権取得は自費出版でないとすれば「十四席だしおまけに連結ベースだ」ということは誤りである fact17: 「その還住は一二年前である」ということは偽でない fact18: 何かは読み替えるとするとそれは忍耐強くないかまたは一二年前でないかまたはどちらもだ fact19: その還住は街でない fact20: その還住はロングショットでないとすると「この満塁はロングショットでないしされ易いない」ということは成り立つ fact21: もしも「なにがしかの物は堕するがしかし顕在化し易くない」ということは間違っているなら「自費出版である」ということは事実である fact22: もしその還住がロングショットでないとすればこの満塁はされ易くない fact23: その駿足は読み替える fact24: その在籍は読み替える fact25: もし仮にあるものはロングショットでないなら「十四席であるけれど連結ベースであるということはない」ということは成り立たない fact26: もし仮に「とあるものは街である」ということは成り立つとしたら「読み替えるということはなくてかつされ易くない」ということは誤りである ; $hypothesis$ = その自然博物学は十四席である一方で連結ベースだということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。その還住はロングショットである; assump1 & fact17 -> int1: その還住はロングショットであるし更に一二年前だ; int1 & fact5 -> int2: その還住は忍耐強くない; int2 & fact8 -> int3: その駿足は読み替えない; int3 & fact23 -> int4: これは矛盾である; [assump1] & int4 -> int5: その還住はロングショットでない; int5 & fact20 -> int6: この満塁はロングショットでないしまたされ易くない; int6 & fact14 -> int7: この満塁は十四席だということはない; int7 & fact11 -> hypothesis; __PROVED__
事実1: もしもなにがしかの物は歯止めでないとすると「それは堕するしそれは顕在化し易くない」ということは成り立たない
事実2: もし仮に「何らかのものは読み替えないしそれはされ易くない」ということは誤りであるとしたらそれは読み替える
事実3: そのローマ市民権取得は自費出版でない
事実4: 「この満塁はされ易くない」ということは本当である
事実5: もしもその還住がロングショットであるし一二年前であるとしたらそれは忍耐強くない
事実6: 仮にその還住が街でないならそのローマ市民権取得は読み替える一方でされ易くない
事実7: もし仮にその還住が忍耐強くないとするとその自然博物学はロングショットだということはない
事実8: もしもその還住が忍耐強くないならばその駿足は読み替えない
事実9: もしもなにがしかのものが読み替えるけれど十四席でないとするとそれは忍耐強くない
事実10: もしもこの満塁が十四席でないとしたらその自然博物学は連結ベースでない
事実11: もしこの満塁が十四席だということはないとしたらその自然博物学は十四席であるが連結ベースでない
事実12: もしもその駿足が自費出版だとすればその還住は街である
事実13: この満塁はロングショットでないけどされ易いならばそれは十四席でない
事実14: もしこの満塁はロングショットだということはなくて更にされ易くないとすればそれは十四席でない
事実15: もしも「そのローマ市民権取得は十四席でまた連結ベースである」ということは誤りであるとすると十四席でない
事実16: もしそのローマ市民権取得は自費出版でないとすれば「十四席だしおまけに連結ベースだ」ということは誤りである
事実17: 「その還住は一二年前である」ということは偽でない
事実18: 何かは読み替えるとするとそれは忍耐強くないかまたは一二年前でないかまたはどちらもだ
事実19: その還住は街でない
事実20: その還住はロングショットでないとすると「この満塁はロングショットでないしされ易いない」ということは成り立つ
事実21: もしも「なにがしかの物は堕するがしかし顕在化し易くない」ということは間違っているなら「自費出版である」ということは事実である
事実22: もしその還住がロングショットでないとすればこの満塁はされ易くない
事実23: その駿足は読み替える
事実24: その在籍は読み替える
事実25: もし仮にあるものはロングショットでないなら「十四席であるけれど連結ベースであるということはない」ということは成り立たない
事実26: もし仮に「とあるものは街である」ということは成り立つとしたら「読み替えるということはなくてかつされ易くない」ということは誤りである

仮説: その自然博物学は十四席である一方で連結ベースだということはない
1. 仮定1: 以下のように仮定する。その還住はロングショットである
2. 仮定1と事実17から、推論1: "その還住はロングショットであるし更に一二年前だ"が導かれる
3. 推論1と事実5から、推論2: "その還住は忍耐強くない"が導かれる
4. 推論2と事実8から、推論3: "その駿足は読み替えない"が導かれる
5. 推論3と事実23から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "その還住はロングショットでない"が導かれる
7. 推論5と事実20から、推論6: "この満塁はロングショットでないしまたされ易くない"が導かれる
8. 推論6と事実14から、推論7: "この満塁は十四席だということはない"が導かれる
9. 推論7と事実11から、仮説が導かれる

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