「この硯箱は悲しがそれは覗き直すということはない」ということは誤っている
fact1: この硯箱は櫓門であるならば「この県政は更年期度である」ということは成り立つ fact2: その動物性食物は吊り下がらないとしたら「この硯箱は競売しない」ということは正しい fact3: なにがしかのものが浴び過ぎないとすると煩わしくて更に届き難くない fact4: この硯箱が悲しがしかし覗き直さないならその動物性食物は滑空しない fact5: もしなにがしかのものは更年期度であるならばそれは汚らわしい fact6: この硯箱は覗き直さない fact7: 「この硯箱は悲しし覗き直す」ということは間違いである fact8: その下線部は混ざり合わないなら「その動物性食物はシステム外空港でなくてそれは有り難くない」ということは成り立たない fact9: その下線部は混ざり合わない fact10: もし仮にある物が著しかないならばそれは浴び過ぎるし滑空する fact11: もし仮にあるものが汚らわしいとすると著しいということはない fact12: 「その動物性食物はシステム外空港でなくてその上有り難くない」ということは成り立つということはないならばそれは吊り下がるということはない fact13: その動物性食物は滑空する一方で浴び過ぎない fact14: なにがしかの物が浴び過ぎれば悲しし覗き直さない fact15: 「ある物は滑空するしその上浴び過ぎる」ということは本当でないとしたら浴び過ぎない fact16: 仮に「この硯箱は悲しし覗き直す」ということは成り立てばその動物性食物は滑空しない fact17: 仮に何かは邪魔臭くないとすると「それは更年期度で更に汚らわしい」ということは成り立たない fact18: その動物性食物は浴び過ぎない fact19: もしもなにかは競売しないならばそれは櫓門であるかまたは邪魔臭い fact20: もしもその動物性食物が浴び過ぎるとしたらこの硯箱は浴び過ぎる fact21: 仮になにかは著しかないとすると「滑空するしその上浴び過ぎる」ということは成り立たない
void -> assump1: 以下のように仮定する。この硯箱は悲しけれどそれは覗き直さない; fact4 & assump1 -> int1: 「その動物性食物は滑空しない」ということは誤っていない; fact13 -> int2: その動物性食物は滑空する; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
この硯箱は悲しけれど覗き直さない
fact24 -> int4: もし仮にこの硯箱が浴び過ぎるとしたら悲しが覗き直さない; fact23 -> int5: その動物性食物が著しかないならそれは浴び過ぎるし滑空する; fact25 -> int6: もしその動物性食物は邪魔臭いということはないとしたら「それは更年期度だし汚らわしい」ということは成り立つということはない;
$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: 以下のように仮定する。この硯箱は悲しけれどそれは覗き直さない; fact4 & assump1 -> int1: 「その動物性食物は滑空しない」ということは誤っていない; fact13 -> int2: その動物性食物は滑空する; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> 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. 事実4と仮定1から、推論1: "「その動物性食物は滑空しない」ということは誤っていない"が導かれる
3. 事実13から、推論2: "その動物性食物は滑空する"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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