もしその生育期は出世するなら「その解禁日は大建中湯でないかあるいは強飯でないかもしくは両方ともである」ということは嘘だ
fact1: その生育期は出世しないがしかし長たらしいとすれば「強飯でない」ということは正しい fact2: 「この半ずり胡麻は出世しないかまたは通し始めるということはないかもしくは両方である」ということは真実でない fact3: もし仮に「その生育期は出世する」ということは事実だとしたらその解禁日は大建中湯でないか強飯であるということはないかもしくはどちらもだ fact4: 仮に「その生育期は出世する」ということは偽でないとすると「その解禁日は大建中湯であるかもしくは強飯でないかまたは両方ともだ」ということは成り立たない fact5: その生育期が強飯でないならその解禁日は強飯だ fact6: 「その生育期が出世するしその上長たらしい」ということは成り立たない fact7: もしも「その解禁日は強飯だ」ということは本当だとすると「その生育期は大建中湯である」ということは真実だ fact8: もしもその生育期が強飯で加えて出世するならこの内容理解は強飯でない fact9: 仮にこの出向が大建中湯であるならその解禁日は長たらしいかあるいは評定しない fact10: その解禁日は強飯である fact11: もしその解禁日が長たらしいかもしくは評定しないかまたはどちらもだとすればあの生育期は長たらしくない fact12: その解禁日は出世しない fact13: もしも「その生育期は出世しないがしかし長たらしい」ということは誤りであるなら「強飯でない」ということは本当だ fact14: その生育期は強飯でないなら「その解禁日は大建中湯でないかもしくは強飯でないかもしくはどちらもである」ということは誤りである fact15: その生育期は長たらしくない
void -> assump1: 以下のように仮定する。その生育期は出世しないが長たらしい; assump1 -> int1: その生育期は出世しない; void -> assump2: 以下のように仮定する。「その生育期は出世する」ということは正しい; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その生育期は出世しないが長たらしい」ということは成り立たない; int3 & fact13 -> int4: 「その生育期は強飯でない」ということは成り立つ; int4 & fact14 -> int5: 「「その解禁日は大建中湯でないか強飯でないか両方である」ということは真実である」ということは成り立つということはない; [assump2] & int5 -> hypothesis;
この内容理解は強飯でない
$facts$ = fact1: その生育期は出世しないがしかし長たらしいとすれば「強飯でない」ということは正しい fact2: 「この半ずり胡麻は出世しないかまたは通し始めるということはないかもしくは両方である」ということは真実でない fact3: もし仮に「その生育期は出世する」ということは事実だとしたらその解禁日は大建中湯でないか強飯であるということはないかもしくはどちらもだ fact4: 仮に「その生育期は出世する」ということは偽でないとすると「その解禁日は大建中湯であるかもしくは強飯でないかまたは両方ともだ」ということは成り立たない fact5: その生育期が強飯でないならその解禁日は強飯だ fact6: 「その生育期が出世するしその上長たらしい」ということは成り立たない fact7: もしも「その解禁日は強飯だ」ということは本当だとすると「その生育期は大建中湯である」ということは真実だ fact8: もしもその生育期が強飯で加えて出世するならこの内容理解は強飯でない fact9: 仮にこの出向が大建中湯であるならその解禁日は長たらしいかあるいは評定しない fact10: その解禁日は強飯である fact11: もしその解禁日が長たらしいかもしくは評定しないかまたはどちらもだとすればあの生育期は長たらしくない fact12: その解禁日は出世しない fact13: もしも「その生育期は出世しないがしかし長たらしい」ということは誤りであるなら「強飯でない」ということは本当だ fact14: その生育期は強飯でないなら「その解禁日は大建中湯でないかもしくは強飯でないかもしくはどちらもである」ということは誤りである fact15: その生育期は長たらしくない ; $hypothesis$ = もしその生育期は出世するなら「その解禁日は大建中湯でないかあるいは強飯でないかもしくは両方ともである」ということは嘘だ ; $proof$ = 
void -> assump1: 以下のように仮定する。その生育期は出世しないが長たらしい; assump1 -> int1: その生育期は出世しない; void -> assump2: 以下のように仮定する。「その生育期は出世する」ということは正しい; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「その生育期は出世しないが長たらしい」ということは成り立たない; int3 & fact13 -> int4: 「その生育期は強飯でない」ということは成り立つ; int4 & fact14 -> int5: 「「その解禁日は大建中湯でないか強飯でないか両方である」ということは真実である」ということは成り立つということはない; [assump2] & int5 -> hypothesis; __PROVED__
事実1: その生育期は出世しないがしかし長たらしいとすれば「強飯でない」ということは正しい
事実2: 「この半ずり胡麻は出世しないかまたは通し始めるということはないかもしくは両方である」ということは真実でない
事実3: もし仮に「その生育期は出世する」ということは事実だとしたらその解禁日は大建中湯でないか強飯であるということはないかもしくはどちらもだ
事実4: 仮に「その生育期は出世する」ということは偽でないとすると「その解禁日は大建中湯であるかもしくは強飯でないかまたは両方ともだ」ということは成り立たない
事実5: その生育期が強飯でないならその解禁日は強飯だ
事実6: 「その生育期が出世するしその上長たらしい」ということは成り立たない
事実7: もしも「その解禁日は強飯だ」ということは本当だとすると「その生育期は大建中湯である」ということは真実だ
事実8: もしもその生育期が強飯で加えて出世するならこの内容理解は強飯でない
事実9: 仮にこの出向が大建中湯であるならその解禁日は長たらしいかあるいは評定しない
事実10: その解禁日は強飯である
事実11: もしその解禁日が長たらしいかもしくは評定しないかまたはどちらもだとすればあの生育期は長たらしくない
事実12: その解禁日は出世しない
事実13: もしも「その生育期は出世しないがしかし長たらしい」ということは誤りであるなら「強飯でない」ということは本当だ
事実14: その生育期は強飯でないなら「その解禁日は大建中湯でないかもしくは強飯でないかもしくはどちらもである」ということは誤りである
事実15: その生育期は長たらしくない

仮説: もしその生育期は出世するなら「その解禁日は大建中湯でないかあるいは強飯でないかもしくは両方ともである」ということは嘘だ
1. 仮定1: 以下のように仮定する。その生育期は出世しないが長たらしい
2. 仮定1から、推論1: "その生育期は出世しない"が導かれる
3. 仮定2: 以下のように仮定する。「その生育期は出世する」ということは正しい
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "「その生育期は出世しないが長たらしい」ということは成り立たない"が導かれる
6. 推論3と事実13から、推論4: "「その生育期は強飯でない」ということは成り立つ"が導かれる
7. 推論4と事実14から、推論5: "「「その解禁日は大建中湯でないか強飯でないか両方である」ということは真実である」ということは成り立つということはない"が導かれる
8. [仮定2]と推論5から、仮説が導かれる

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