「この寄生虫は生白い」ということは嘘でないとしたらその和洋折衷は再帰性だ
fact1: この寄生虫は脊髄型だ fact2: もし仮に「その脱却は脊髄型でなくて生白くない」ということは成り立つということはないなら「この寄生虫は仲立ち精だ」ということは本当だ fact3: 「その脱却は仲立ち精でないけどそれは拡張期だ」ということは成り立たない fact4: 「その脱却は仲立ち精であるが拡張期であるということはない」ということは成り立たない fact5: 仮に「とあるものはコーハウスでないかまたはそれは脊髄型であるかあるいは両方ともだ」ということは偽であるとすれば生白くない fact6: もし「なにかはコーハウスだということはないかもしくは脊髄型でないかもしくはどちらもだ」ということは誤っているとすると生白い fact7: 「その計量経済学は再帰性だ」ということは正しい fact8: もしもその計量経済学が依存しないならこの寄生虫は脊髄型だ fact9: もしもその脱却が拡張期でないとするとその計量経済学はＤＯＴＳだ fact10: その和洋折衷はＤＯＴＳだということはない fact11: もし仮に「その脱却は仲立ち精でないしまた拡張期だということはない」ということは成り立たないとするとその和洋折衷は再帰性である fact12: 「なにがしかのものはコーハウスでないかあるいは脊髄型でないかあるいは両方だ」ということは偽であるとすると生白くない fact13: 仮にその計量経済学は依存するということはないとしたら「この寄生虫はコーハウスだということはないかまたはそれは脊髄型でないかもしくは両方である」ということは成り立たない fact14: もしもその脱却が拡張期でないとすればその計量経済学は依存しないけどそれはＤＯＴＳである fact15: 仮に「この寄生虫はコーハウスでないかまたはそれは脊髄型でないかもしくは両方である」ということは成り立たないならそれは生白い fact16: その計量経済学はＤＯＴＳである fact17: 「この寄生虫はコーハウスでないかもしくは脊髄型であるかどちらもである」ということは間違いであるとしたらそれは生白くない fact18: あの武備志は再帰性でない
void -> assump2: 以下のように仮定する。その脱却は仲立ち精だということはないし拡張期でない; assump2 -> int1: その脱却は拡張期でない; int1 & fact14 -> int2: その計量経済学は依存しないがしかしＤＯＴＳである; int2 -> int3: その計量経済学は依存しない; int3 & fact13 -> int4: 「この寄生虫はコーハウスでないかあるいはそれは脊髄型でない」ということは成り立たない; fact12 -> int5: もし仮に「この寄生虫はコーハウスでないか脊髄型であるということはないか両方ともである」ということは正しくないとするとそれは生白くない; int4 & int5 -> int6: この寄生虫は生白くない; void -> assump1: 以下のように仮定する。この寄生虫は生白い; int6 & assump1 -> int7: これは矛盾である; [assump2] & int7 -> int8: 「その脱却は仲立ち精でないしその上拡張期でない」ということは成り立たない; int8 & fact11 -> int9: その和洋折衷は再帰性だ; [assump1] & int9 -> hypothesis;
$facts$ = fact1: この寄生虫は脊髄型だ fact2: もし仮に「その脱却は脊髄型でなくて生白くない」ということは成り立つということはないなら「この寄生虫は仲立ち精だ」ということは本当だ fact3: 「その脱却は仲立ち精でないけどそれは拡張期だ」ということは成り立たない fact4: 「その脱却は仲立ち精であるが拡張期であるということはない」ということは成り立たない fact5: 仮に「とあるものはコーハウスでないかまたはそれは脊髄型であるかあるいは両方ともだ」ということは偽であるとすれば生白くない fact6: もし「なにかはコーハウスだということはないかもしくは脊髄型でないかもしくはどちらもだ」ということは誤っているとすると生白い fact7: 「その計量経済学は再帰性だ」ということは正しい fact8: もしもその計量経済学が依存しないならこの寄生虫は脊髄型だ fact9: もしもその脱却が拡張期でないとするとその計量経済学はＤＯＴＳだ fact10: その和洋折衷はＤＯＴＳだということはない fact11: もし仮に「その脱却は仲立ち精でないしまた拡張期だということはない」ということは成り立たないとするとその和洋折衷は再帰性である fact12: 「なにがしかのものはコーハウスでないかあるいは脊髄型でないかあるいは両方だ」ということは偽であるとすると生白くない fact13: 仮にその計量経済学は依存するということはないとしたら「この寄生虫はコーハウスだということはないかまたはそれは脊髄型でないかもしくは両方である」ということは成り立たない fact14: もしもその脱却が拡張期でないとすればその計量経済学は依存しないけどそれはＤＯＴＳである fact15: 仮に「この寄生虫はコーハウスでないかまたはそれは脊髄型でないかもしくは両方である」ということは成り立たないならそれは生白い fact16: その計量経済学はＤＯＴＳである fact17: 「この寄生虫はコーハウスでないかもしくは脊髄型であるかどちらもである」ということは間違いであるとしたらそれは生白くない fact18: あの武備志は再帰性でない ; $hypothesis$ = 「この寄生虫は生白い」ということは嘘でないとしたらその和洋折衷は再帰性だ ; $proof$ = 
void -> assump2: 以下のように仮定する。その脱却は仲立ち精だということはないし拡張期でない; assump2 -> int1: その脱却は拡張期でない; int1 & fact14 -> int2: その計量経済学は依存しないがしかしＤＯＴＳである; int2 -> int3: その計量経済学は依存しない; int3 & fact13 -> int4: 「この寄生虫はコーハウスでないかあるいはそれは脊髄型でない」ということは成り立たない; fact12 -> int5: もし仮に「この寄生虫はコーハウスでないか脊髄型であるということはないか両方ともである」ということは正しくないとするとそれは生白くない; int4 & int5 -> int6: この寄生虫は生白くない; void -> assump1: 以下のように仮定する。この寄生虫は生白い; int6 & assump1 -> int7: これは矛盾である; [assump2] & int7 -> int8: 「その脱却は仲立ち精でないしその上拡張期でない」ということは成り立たない; int8 & fact11 -> int9: その和洋折衷は再帰性だ; [assump1] & int9 -> hypothesis; __PROVED__
事実1: この寄生虫は脊髄型だ
事実2: もし仮に「その脱却は脊髄型でなくて生白くない」ということは成り立つということはないなら「この寄生虫は仲立ち精だ」ということは本当だ
事実3: 「その脱却は仲立ち精でないけどそれは拡張期だ」ということは成り立たない
事実4: 「その脱却は仲立ち精であるが拡張期であるということはない」ということは成り立たない
事実5: 仮に「とあるものはコーハウスでないかまたはそれは脊髄型であるかあるいは両方ともだ」ということは偽であるとすれば生白くない
事実6: もし「なにかはコーハウスだということはないかもしくは脊髄型でないかもしくはどちらもだ」ということは誤っているとすると生白い
事実7: 「その計量経済学は再帰性だ」ということは正しい
事実8: もしもその計量経済学が依存しないならこの寄生虫は脊髄型だ
事実9: もしもその脱却が拡張期でないとするとその計量経済学はＤＯＴＳだ
事実10: その和洋折衷はＤＯＴＳだということはない
事実11: もし仮に「その脱却は仲立ち精でないしまた拡張期だということはない」ということは成り立たないとするとその和洋折衷は再帰性である
事実12: 「なにがしかのものはコーハウスでないかあるいは脊髄型でないかあるいは両方だ」ということは偽であるとすると生白くない
事実13: 仮にその計量経済学は依存するということはないとしたら「この寄生虫はコーハウスだということはないかまたはそれは脊髄型でないかもしくは両方である」ということは成り立たない
事実14: もしもその脱却が拡張期でないとすればその計量経済学は依存しないけどそれはＤＯＴＳである
事実15: 仮に「この寄生虫はコーハウスでないかまたはそれは脊髄型でないかもしくは両方である」ということは成り立たないならそれは生白い
事実16: その計量経済学はＤＯＴＳである
事実17: 「この寄生虫はコーハウスでないかもしくは脊髄型であるかどちらもである」ということは間違いであるとしたらそれは生白くない
事実18: あの武備志は再帰性でない

仮説: 「この寄生虫は生白い」ということは嘘でないとしたらその和洋折衷は再帰性だ
1. 仮定2: 以下のように仮定する。その脱却は仲立ち精だということはないし拡張期でない
2. 仮定2から、推論1: "その脱却は拡張期でない"が導かれる
3. 推論1と事実14から、推論2: "その計量経済学は依存しないがしかしＤＯＴＳである"が導かれる
4. 推論2から、推論3: "その計量経済学は依存しない"が導かれる
5. 推論3と事実13から、推論4: "「この寄生虫はコーハウスでないかあるいはそれは脊髄型でない」ということは成り立たない"が導かれる
6. 事実12から、推論5: "もし仮に「この寄生虫はコーハウスでないか脊髄型であるということはないか両方ともである」ということは正しくないとするとそれは生白くない"が導かれる
7. 推論4と推論5から、推論6: "この寄生虫は生白くない"が導かれる
8. 仮定1: 以下のように仮定する。この寄生虫は生白い
9. 推論6と仮定1から、推論7: "これは矛盾である"が導かれる
10. [仮定2]と推論7から、推論8: "「その脱却は仲立ち精でないしその上拡張期でない」ということは成り立たない"が導かれる
11. 推論8と事実11から、推論9: "その和洋折衷は再帰性だ"が導かれる
12. [仮定1]と推論9から、仮説が導かれる

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