この省庁は吊り下がらない
fact1: 「その分け方は荒っぽくないしその上懲りない」ということは間違っている fact2: もし仮にその分け方が起因しないとしたらそれは千九百九十三年末でない fact3: 「この省庁は目まぐるしい」ということは成り立つ fact4: もし仮にこの泣き落としが目まぐるしかないがしかし御宜しいとするとその分け方は目まぐるしい fact5: もしその分け方が荒っぽいし加えてそれが目まぐるしいなら起因しない fact6: その分け方が千九百九十三年末でないとするとその糠床は芳しいということはないけど寄託する fact7: 「この泣き落としは寄託する」ということは真実だ fact8: この泣き落としは目まぐるしかないけどそれは御宜しい fact9: この公布は懲りない fact10: その分け方は懲りない fact11: 仮にこの泣き落としが千九百九十三年末であるしそれが目まぐるしいとしたらその分け方は御宜しくない fact12: もしその糠床が芳しいということはないけれど寄託するとすればあの省庁は吊り下がらない
void -> assump1: 以下のように仮定する。その分け方は荒っぽくない; assump1 & fact10 -> int1: その分け方は荒っぽくないししかも懲りない; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: その分け方は荒っぽい; fact8 & fact4 -> int4: 「その分け方は目まぐるしい」ということは本当だ; int3 & int4 -> int5: その分け方は荒っぽくて更にそれは目まぐるしい; int5 & fact5 -> int6: その分け方は起因しない; int6 & fact2 -> int7: その分け方は千九百九十三年末でない; int7 & fact6 -> int8: その糠床は芳しいということはないけれど寄託する; int8 & fact12 -> hypothesis;
$facts$ = fact1: 「その分け方は荒っぽくないしその上懲りない」ということは間違っている fact2: もし仮にその分け方が起因しないとしたらそれは千九百九十三年末でない fact3: 「この省庁は目まぐるしい」ということは成り立つ fact4: もし仮にこの泣き落としが目まぐるしかないがしかし御宜しいとするとその分け方は目まぐるしい fact5: もしその分け方が荒っぽいし加えてそれが目まぐるしいなら起因しない fact6: その分け方が千九百九十三年末でないとするとその糠床は芳しいということはないけど寄託する fact7: 「この泣き落としは寄託する」ということは真実だ fact8: この泣き落としは目まぐるしかないけどそれは御宜しい fact9: この公布は懲りない fact10: その分け方は懲りない fact11: 仮にこの泣き落としが千九百九十三年末であるしそれが目まぐるしいとしたらその分け方は御宜しくない fact12: もしその糠床が芳しいということはないけれど寄託するとすればあの省庁は吊り下がらない ; $hypothesis$ = この省庁は吊り下がらない ; $proof$ = 
void -> assump1: 以下のように仮定する。その分け方は荒っぽくない; assump1 & fact10 -> int1: その分け方は荒っぽくないししかも懲りない; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: その分け方は荒っぽい; fact8 & fact4 -> int4: 「その分け方は目まぐるしい」ということは本当だ; int3 & int4 -> int5: その分け方は荒っぽくて更にそれは目まぐるしい; int5 & fact5 -> int6: その分け方は起因しない; int6 & fact2 -> int7: その分け方は千九百九十三年末でない; int7 & fact6 -> int8: その糠床は芳しいということはないけれど寄託する; int8 & fact12 -> hypothesis; __PROVED__
事実1: 「その分け方は荒っぽくないしその上懲りない」ということは間違っている
事実2: もし仮にその分け方が起因しないとしたらそれは千九百九十三年末でない
事実3: 「この省庁は目まぐるしい」ということは成り立つ
事実4: もし仮にこの泣き落としが目まぐるしかないがしかし御宜しいとするとその分け方は目まぐるしい
事実5: もしその分け方が荒っぽいし加えてそれが目まぐるしいなら起因しない
事実6: その分け方が千九百九十三年末でないとするとその糠床は芳しいということはないけど寄託する
事実7: 「この泣き落としは寄託する」ということは真実だ
事実8: この泣き落としは目まぐるしかないけどそれは御宜しい
事実9: この公布は懲りない
事実10: その分け方は懲りない
事実11: 仮にこの泣き落としが千九百九十三年末であるしそれが目まぐるしいとしたらその分け方は御宜しくない
事実12: もしその糠床が芳しいということはないけれど寄託するとすればあの省庁は吊り下がらない

仮説: この省庁は吊り下がらない
1. 仮定1: 以下のように仮定する。その分け方は荒っぽくない
2. 仮定1と事実10から、推論1: "その分け方は荒っぽくないししかも懲りない"が導かれる
3. 推論1と事実1から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "その分け方は荒っぽい"が導かれる
5. 事実8と事実4から、推論4: "「その分け方は目まぐるしい」ということは本当だ"が導かれる
6. 推論3と推論4から、推論5: "その分け方は荒っぽくて更にそれは目まぐるしい"が導かれる
7. 推論5と事実5から、推論6: "その分け方は起因しない"が導かれる
8. 推論6と事実2から、推論7: "その分け方は千九百九十三年末でない"が導かれる
9. 推論7と事実6から、推論8: "その糠床は芳しいということはないけれど寄託する"が導かれる
10. 推論8と事実12から、仮説が導かれる

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