「「もしその小遣い稼ぎはつべたくないなら「あの継続的職業教育は女らしくて加えて青酎だ」ということは成り立たない」ということは事実である」ということは間違いである
fact1: もし仮にその小遣い稼ぎがつべたいならばあの養成所は積算するしかつ置換する fact2: 仮にこの養成所は置換しないとすれば「その小遣い稼ぎは青酎で積算する」ということは誤りだ fact3: この養成所は青酎でないとすると「「あの継続的職業教育は積算するし青酎だ」ということは成り立つ」ということは成り立たない fact4: 仮になにかは言説化するし加えて救い難いなら「真白くない」ということは本当だ fact5: 「この一・八図は積算するしそれに学生さんである」ということは本当だ fact6: もし仮に「あの継続的職業教育は置換しない」ということは成り立つとしたらこの養成所は女らしいしその上積算する fact7: もしもあの継続的職業教育が置換するということはないとすればこの養成所は青酎で加えて積算する fact8: もしなんらかのものは勤労世代でないとしたら「「青酎でないしつべたい」ということは成り立つ」ということは間違いである fact9: あの涙声は毛嫌いするということはない fact10: その小遣い稼ぎは勤労世代でない fact11: もしその小遣い稼ぎはつべたくないならあの継続的職業教育は女らしくてかつ青酎である fact12: もしなにかは毛嫌いするということはないとすれば「それは女らしくておまけに知れ切る」ということは確かである fact13: 仮にこの養成所は置換しないとすれば「その小遣い稼ぎは積算するしつべたい」ということは間違いである fact14: 仮にこの養成所は青酎でないなら「あの継続的職業教育は女らしいししかも青酎だ」ということは真実だということはない fact15: 「女らしいものは置換する」ということは真実だ fact16: もしなんらかのものが積算するし更にそれが置換するとすれば青酎でない fact17: 「仮につべたいものが積算するとしたら青酎でない」ということは成り立つ fact18: もしその小遣い稼ぎはつべたくないとすればこの養成所は積算するし置換する
void -> assump1: 以下のように仮定する。その小遣い稼ぎはつべたいということはない; fact18 & assump1 -> int1: この養成所は積算するしおまけに置換する; fact16 -> int2: 仮にこの養成所が積算するしおまけにそれが置換するとしたら青酎でない; int1 & int2 -> int3: 「この養成所は青酎でない」ということは誤っているということはない; int3 & fact14 -> int4: 「あの継続的職業教育は女らしくて更にそれは青酎だ」ということは嘘だ; [assump1] & int4 -> hypothesis;
あの涙声は置換するし加えて八月末だ
fact19 -> int5: 仮にあの涙声が女らしいとすればそれは置換する; fact21 -> int6: もし仮にあの涙声が毛嫌いしないとしたらそれは女らしくておまけに知れ切る; int6 & fact20 -> int7: あの涙声は女らしいしおまけに知れ切る; int7 -> int8: あの涙声は女らしい; int5 & int8 -> int9: あの涙声は置換する; fact23 -> int10: 仮にその小遣い稼ぎは勤労世代でないとしたら「青酎でないがしかしつべたい」ということは間違っている; int10 & fact22 -> int11: 「その小遣い稼ぎは青酎でないけれどつべたい」ということは間違っている; int11 -> int12: 「「青酎でないがしかしつべたい」ということは成り立たない」物はある;
$facts$ = fact1: もし仮にその小遣い稼ぎがつべたいならばあの養成所は積算するしかつ置換する fact2: 仮にこの養成所は置換しないとすれば「その小遣い稼ぎは青酎で積算する」ということは誤りだ fact3: この養成所は青酎でないとすると「「あの継続的職業教育は積算するし青酎だ」ということは成り立つ」ということは成り立たない fact4: 仮になにかは言説化するし加えて救い難いなら「真白くない」ということは本当だ fact5: 「この一・八図は積算するしそれに学生さんである」ということは本当だ fact6: もし仮に「あの継続的職業教育は置換しない」ということは成り立つとしたらこの養成所は女らしいしその上積算する fact7: もしもあの継続的職業教育が置換するということはないとすればこの養成所は青酎で加えて積算する fact8: もしなんらかのものは勤労世代でないとしたら「「青酎でないしつべたい」ということは成り立つ」ということは間違いである fact9: あの涙声は毛嫌いするということはない fact10: その小遣い稼ぎは勤労世代でない fact11: もしその小遣い稼ぎはつべたくないならあの継続的職業教育は女らしくてかつ青酎である fact12: もしなにかは毛嫌いするということはないとすれば「それは女らしくておまけに知れ切る」ということは確かである fact13: 仮にこの養成所は置換しないとすれば「その小遣い稼ぎは積算するしつべたい」ということは間違いである fact14: 仮にこの養成所は青酎でないなら「あの継続的職業教育は女らしいししかも青酎だ」ということは真実だということはない fact15: 「女らしいものは置換する」ということは真実だ fact16: もしなんらかのものが積算するし更にそれが置換するとすれば青酎でない fact17: 「仮につべたいものが積算するとしたら青酎でない」ということは成り立つ fact18: もしその小遣い稼ぎはつべたくないとすればこの養成所は積算するし置換する ; $hypothesis$ = 「「もしその小遣い稼ぎはつべたくないなら「あの継続的職業教育は女らしくて加えて青酎だ」ということは成り立たない」ということは事実である」ということは間違いである ; $proof$ = 
void -> assump1: 以下のように仮定する。その小遣い稼ぎはつべたいということはない; fact18 & assump1 -> int1: この養成所は積算するしおまけに置換する; fact16 -> int2: 仮にこの養成所が積算するしおまけにそれが置換するとしたら青酎でない; int1 & int2 -> int3: 「この養成所は青酎でない」ということは誤っているということはない; int3 & fact14 -> int4: 「あの継続的職業教育は女らしくて更にそれは青酎だ」ということは嘘だ; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: もし仮にその小遣い稼ぎがつべたいならばあの養成所は積算するしかつ置換する
事実2: 仮にこの養成所は置換しないとすれば「その小遣い稼ぎは青酎で積算する」ということは誤りだ
事実3: この養成所は青酎でないとすると「「あの継続的職業教育は積算するし青酎だ」ということは成り立つ」ということは成り立たない
事実4: 仮になにかは言説化するし加えて救い難いなら「真白くない」ということは本当だ
事実5: 「この一・八図は積算するしそれに学生さんである」ということは本当だ
事実6: もし仮に「あの継続的職業教育は置換しない」ということは成り立つとしたらこの養成所は女らしいしその上積算する
事実7: もしもあの継続的職業教育が置換するということはないとすればこの養成所は青酎で加えて積算する
事実8: もしなんらかのものは勤労世代でないとしたら「「青酎でないしつべたい」ということは成り立つ」ということは間違いである
事実9: あの涙声は毛嫌いするということはない
事実10: その小遣い稼ぎは勤労世代でない
事実11: もしその小遣い稼ぎはつべたくないならあの継続的職業教育は女らしくてかつ青酎である
事実12: もしなにかは毛嫌いするということはないとすれば「それは女らしくておまけに知れ切る」ということは確かである
事実13: 仮にこの養成所は置換しないとすれば「その小遣い稼ぎは積算するしつべたい」ということは間違いである
事実14: 仮にこの養成所は青酎でないなら「あの継続的職業教育は女らしいししかも青酎だ」ということは真実だということはない
事実15: 「女らしいものは置換する」ということは真実だ
事実16: もしなんらかのものが積算するし更にそれが置換するとすれば青酎でない
事実17: 「仮につべたいものが積算するとしたら青酎でない」ということは成り立つ
事実18: もしその小遣い稼ぎはつべたくないとすればこの養成所は積算するし置換する

仮説: 「「もしその小遣い稼ぎはつべたくないなら「あの継続的職業教育は女らしくて加えて青酎だ」ということは成り立たない」ということは事実である」ということは間違いである
1. 仮定1: 以下のように仮定する。その小遣い稼ぎはつべたいということはない
2. 事実18と仮定1から、推論1: "この養成所は積算するしおまけに置換する"が導かれる
3. 事実16から、推論2: "仮にこの養成所が積算するしおまけにそれが置換するとしたら青酎でない"が導かれる
4. 推論1と推論2から、推論3: "「この養成所は青酎でない」ということは誤っているということはない"が導かれる
5. 推論3と事実14から、推論4: "「あの継続的職業教育は女らしくて更にそれは青酎だ」ということは嘘だ"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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