「この消退出血は未受精卵であるかあるいは迎え入れるかどちらもだ」ということは嘘だ
fact1: あのリハビリテーションセンターは成り難くない fact2: もし「「公示であるしさらに一周するということはない」ということは間違いである」物はあるとすれば「その新企画は一周する」ということは真実だ fact3: この消退出血は天母城天守閣だということはない fact4: もし仮にこの消退出血は瑞々しくないとすれば「あのリハビリテーションセンターは瑞々しいかもしくは未受精卵であるかもしくは両方だ」ということは成り立たない fact5: 仮にあのリハビリテーションセンターは未受精卵であるならば「それは瑞々しくて担い手達だ」ということは本当でない fact6: 「もしもあのリハビリテーションセンターは未受精卵でないとしたら「「この消退出血は未受精卵であるか迎え入れる」ということは確かだ」ということは成り立たない」ということは真実である fact7: あのリハビリテーションセンターは未受精卵であるとすると「瑞々しいということはなくて担い手達である」ということは嘘である fact8: もしあのリハビリテーションセンターが成り難くないとしたら瑞々しくないけど担い手達だ fact9: もしこのグローバル展開は刑事局長でないとすれば「公示であるけれど一周しない」ということは事実でない fact10: このグローバル展開は刑事局長だということはない fact11: もしこの消退出血は未受精卵であるとしたら「あのリハビリテーションセンターは瑞々しいがしかし成り難いということはない」ということは嘘だ fact12: 「この消退出血は迎え入れるかもしくは成り難い」ということは成り立たない fact13: 仮に「あのリハビリテーションセンターは一周するということはないしまた成り難くない」ということは誤りであるならばこの消退出血は成り難くない fact14: この消退出血は迎え入れない fact15: 「あのリハビリテーションセンターは迎え入れないがしかし未受精卵だ」ということは誤っている fact16: この消退出血は担い手達であるということはない fact17: あのリハビリテーションセンターは許可しない fact18: あのリハビリテーションセンターが未受精卵でないならばこの消退出血は迎え入れない fact19: あのリハビリテーションセンターは瑞々しくない fact20: 「あのリハビリテーションセンターは瑞々しくて更に担い手達だ」ということは間違っている fact21: 仮にあのリハビリテーションセンターが成り難くないとするとそれは瑞々しいということはない
void -> assump1: 以下のように仮定する。あのリハビリテーションセンターは未受精卵だ; fact7 & assump1 -> int1: 「あのリハビリテーションセンターは瑞々しくないけど担い手達だ」ということは偽である; fact1 & fact8 -> int2: あのリハビリテーションセンターは瑞々しくないけど担い手達だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのリハビリテーションセンターは未受精卵であるということはない; int4 & fact6 -> 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$ = 
void -> assump1: 以下のように仮定する。あのリハビリテーションセンターは未受精卵だ; fact7 & assump1 -> int1: 「あのリハビリテーションセンターは瑞々しくないけど担い手達だ」ということは偽である; fact1 & fact8 -> int2: あのリハビリテーションセンターは瑞々しくないけど担い手達だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのリハビリテーションセンターは未受精卵であるということはない; int4 & fact6 -> hypothesis; __PROVED__
事実1: あのリハビリテーションセンターは成り難くない
事実2: もし「「公示であるしさらに一周するということはない」ということは間違いである」物はあるとすれば「その新企画は一周する」ということは真実だ
事実3: この消退出血は天母城天守閣だということはない
事実4: もし仮にこの消退出血は瑞々しくないとすれば「あのリハビリテーションセンターは瑞々しいかもしくは未受精卵であるかもしくは両方だ」ということは成り立たない
事実5: 仮にあのリハビリテーションセンターは未受精卵であるならば「それは瑞々しくて担い手達だ」ということは本当でない
事実6: 「もしもあのリハビリテーションセンターは未受精卵でないとしたら「「この消退出血は未受精卵であるか迎え入れる」ということは確かだ」ということは成り立たない」ということは真実である
事実7: あのリハビリテーションセンターは未受精卵であるとすると「瑞々しいということはなくて担い手達である」ということは嘘である
事実8: もしあのリハビリテーションセンターが成り難くないとしたら瑞々しくないけど担い手達だ
事実9: もしこのグローバル展開は刑事局長でないとすれば「公示であるけれど一周しない」ということは事実でない
事実10: このグローバル展開は刑事局長だということはない
事実11: もしこの消退出血は未受精卵であるとしたら「あのリハビリテーションセンターは瑞々しいがしかし成り難いということはない」ということは嘘だ
事実12: 「この消退出血は迎え入れるかもしくは成り難い」ということは成り立たない
事実13: 仮に「あのリハビリテーションセンターは一周するということはないしまた成り難くない」ということは誤りであるならばこの消退出血は成り難くない
事実14: この消退出血は迎え入れない
事実15: 「あのリハビリテーションセンターは迎え入れないがしかし未受精卵だ」ということは誤っている
事実16: この消退出血は担い手達であるということはない
事実17: あのリハビリテーションセンターは許可しない
事実18: あのリハビリテーションセンターが未受精卵でないならばこの消退出血は迎え入れない
事実19: あのリハビリテーションセンターは瑞々しくない
事実20: 「あのリハビリテーションセンターは瑞々しくて更に担い手達だ」ということは間違っている
事実21: 仮にあのリハビリテーションセンターが成り難くないとするとそれは瑞々しいということはない

仮説: 「この消退出血は未受精卵であるかあるいは迎え入れるかどちらもだ」ということは嘘だ
1. 仮定1: 以下のように仮定する。あのリハビリテーションセンターは未受精卵だ
2. 事実7と仮定1から、推論1: "「あのリハビリテーションセンターは瑞々しくないけど担い手達だ」ということは偽である"が導かれる
3. 事実1と事実8から、推論2: "あのリハビリテーションセンターは瑞々しくないけど担い手達だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あのリハビリテーションセンターは未受精卵であるということはない"が導かれる
6. 推論4と事実6から、仮説が導かれる

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