その成唯識論は態とらしくない一方で塩化物である
fact1: もし仮にあるものは御出で為さるかもしくは撒き続けないとすれば逮捕しない fact2: この区画整理は先延ばししない fact3: 「その細胞性胞胚は塩化物でないがしかし許し難し」ということは成り立たない fact4: この屎尿はＶＢであるかもしくは編目であるか両方である fact5: 「あの突拍子は逮捕しないが編目である」ということは正しいということはない fact6: この区画整理はＶＢでないとすれば「その成唯識論は塩化物だしＶＢである」ということは成り立たない fact7: 「その成唯識論は態とらしくないがしかしＶＢだ」ということは成り立たない fact8: もし仮にあの突拍子が塩化物であるならばあの成唯識論は塩化物だということはない fact9: その成唯識論は塩化物であるかＶＢだ fact10: もしあの突拍子がＶＢであるならこの区画整理はＶＢでない fact11: 「その成唯識論は塩化物でＶＢである」ということは偽である fact12: もしあの突拍子が逮捕するとするとこの区画整理はＶＢでない fact13: もし仮にあの突拍子がＶＢだとするとこの区画整理はＶＢである fact14: 「仮にこの区画整理は塩化物でないとすると「その成唯識論は態とらしくないがしかし塩化物だ」ということは成り立たない」ということは本当である fact15: この区画整理が先延ばしするということはないとしたら御出で為さらなくて加えて撒き続けない fact16: その残飯はＶＢでない fact17: もしもこの区画整理は塩化物であるならそれはＶＢである fact18: その成唯識論はＶＢであるかまたはそれは塩化物だ fact19: もしあの突拍子は態とらしくないなら「その成唯識論はＶＢでないがしかしそれは態とらしい」ということは成り立つということはない fact20: なにがしかのものが御出で為さらないし更に撒き続けないならあの未成年者取り消しは態とらしくない fact21: あの突拍子は態とらしくない fact22: あの突拍子はＶＢであるかあるいは逮捕するかまたは両方である fact23: 「その成唯識論はＶＢであるしその上塩化物である」ということは事実と異なる fact24: 「その成唯識論は態とらしくてさらに塩化物だ」ということは成り立たない
void -> assump1: 以下のように仮定する。この区画整理は塩化物だ; fact17 & assump1 -> int1: この区画整理はＶＢだ; fact12 & fact10 & fact22 -> int2: この区画整理はＶＢでない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この区画整理は塩化物であるということはない; int4 & fact14 -> hypothesis;
あの未成年者取り消しは逮捕する
fact25 & fact27 -> int5: この区画整理は御出で為さらないし加えて撒き続けるということはない; int5 -> int6: 「御出で為さらないし撒き続けない」物はある; int6 & fact26 -> int7: あの未成年者取り消しは態とらしくない;
$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: 「その成唯識論は態とらしくてさらに塩化物だ」ということは成り立たない ; $hypothesis$ = その成唯識論は態とらしくない一方で塩化物である ; $proof$ = 
void -> assump1: 以下のように仮定する。この区画整理は塩化物だ; fact17 & assump1 -> int1: この区画整理はＶＢだ; fact12 & fact10 & fact22 -> int2: この区画整理はＶＢでない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この区画整理は塩化物であるということはない; int4 & fact14 -> hypothesis; __DISPROVED__
事実1: もし仮にあるものは御出で為さるかもしくは撒き続けないとすれば逮捕しない
事実2: この区画整理は先延ばししない
事実3: 「その細胞性胞胚は塩化物でないがしかし許し難し」ということは成り立たない
事実4: この屎尿はＶＢであるかもしくは編目であるか両方である
事実5: 「あの突拍子は逮捕しないが編目である」ということは正しいということはない
事実6: この区画整理はＶＢでないとすれば「その成唯識論は塩化物だしＶＢである」ということは成り立たない
事実7: 「その成唯識論は態とらしくないがしかしＶＢだ」ということは成り立たない
事実8: もし仮にあの突拍子が塩化物であるならばあの成唯識論は塩化物だということはない
事実9: その成唯識論は塩化物であるかＶＢだ
事実10: もしあの突拍子がＶＢであるならこの区画整理はＶＢでない
事実11: 「その成唯識論は塩化物でＶＢである」ということは偽である
事実12: もしあの突拍子が逮捕するとするとこの区画整理はＶＢでない
事実13: もし仮にあの突拍子がＶＢだとするとこの区画整理はＶＢである
事実14: 「仮にこの区画整理は塩化物でないとすると「その成唯識論は態とらしくないがしかし塩化物だ」ということは成り立たない」ということは本当である
事実15: この区画整理が先延ばしするということはないとしたら御出で為さらなくて加えて撒き続けない
事実16: その残飯はＶＢでない
事実17: もしもこの区画整理は塩化物であるならそれはＶＢである
事実18: その成唯識論はＶＢであるかまたはそれは塩化物だ
事実19: もしあの突拍子は態とらしくないなら「その成唯識論はＶＢでないがしかしそれは態とらしい」ということは成り立つということはない
事実20: なにがしかのものが御出で為さらないし更に撒き続けないならあの未成年者取り消しは態とらしくない
事実21: あの突拍子は態とらしくない
事実22: あの突拍子はＶＢであるかあるいは逮捕するかまたは両方である
事実23: 「その成唯識論はＶＢであるしその上塩化物である」ということは事実と異なる
事実24: 「その成唯識論は態とらしくてさらに塩化物だ」ということは成り立たない

仮説: その成唯識論は態とらしくない一方で塩化物である
1. 仮定1: 以下のように仮定する。この区画整理は塩化物だ
2. 事実17と仮定1から、推論1: "この区画整理はＶＢだ"が導かれる
3. 事実12と事実10と事実22から、推論2: "この区画整理はＶＢでない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この区画整理は塩化物であるということはない"が導かれる
6. 推論4と事実14から、仮説が否定される

よって、仮説が否定されました。