あの君主像は撫で摩らないとしたら「その諸事は雪深くないが指揮する」ということは嘘である
fact1: あの同居生活は撓垂れ掛からないとしたら「その諸事は雪深いし指揮する」ということは成り立たない fact2: あの同居生活は撫で摩らない fact3: もしあの君主像は撫で摩らないとすれば「その諸事が雪深いしその上指揮する」ということは事実と異なる fact4: もし仮にその諸事は気怠くないなら「あの君主像は雪深くておまけに撫で摩る」ということは事実と異なる fact5: もし「あの同居生活は撓垂れ掛かるということはない」ということは確かであるとすれば「その諸事は雪深くないけれどそれは指揮する」ということは確かでない fact6: なにかは撫で摩るけど気怠くらないとすればあの同居生活は撓垂れ掛からない fact7: 仮に「その諸事は撫で摩らない」ということは正しいとすればあの君主像は指揮しないがしかしそれは気怠い fact8: 「撫で摩らないがしかし気怠い」物はある fact9: 「撓垂れ掛からなくてかつ撫で摩るということはない」物はある fact10: なにがしかのものは撫で摩るということはない fact11: 「その諸事は雪深いし指揮する」ということは正しくない fact12: もし「撫で摩らないし気怠くらない」ものがあるならばあの同居生活は撓垂れ掛からない fact13: あの君主像は気怠くらない fact14: もしあの君主像は撫で摩るとすると「その諸事は雪深いということはないが指揮する」ということは成り立たない fact15: そのドイツ兵士は取り掛かり易くない fact16: その御恩は素早くないしさらに雪深いということはない fact17: あの君主像は撓垂れ掛からないし撫で摩らない fact18: もし「気怠いということはないしまた撫で摩らない」ものがあるとするとあの君主像は撓垂れ掛からない
void -> assump1: 以下のように仮定する。あの君主像は撫で摩らない; assump1 & fact13 -> int1: あの君主像は撫で摩らないし更にそれは気怠くらない; int1 -> int2: なんらかの物は撫で摩らなくてそれにそれは気怠くらない; int2 & fact12 -> int3: あの同居生活は撓垂れ掛からない; int3 & fact5 -> int4: 「その諸事は雪深くないけど指揮する」ということは本当でない; [assump1] & int4 -> hypothesis;
$facts$ = fact1: あの同居生活は撓垂れ掛からないとしたら「その諸事は雪深いし指揮する」ということは成り立たない fact2: あの同居生活は撫で摩らない fact3: もしあの君主像は撫で摩らないとすれば「その諸事が雪深いしその上指揮する」ということは事実と異なる fact4: もし仮にその諸事は気怠くないなら「あの君主像は雪深くておまけに撫で摩る」ということは事実と異なる fact5: もし「あの同居生活は撓垂れ掛かるということはない」ということは確かであるとすれば「その諸事は雪深くないけれどそれは指揮する」ということは確かでない fact6: なにかは撫で摩るけど気怠くらないとすればあの同居生活は撓垂れ掛からない fact7: 仮に「その諸事は撫で摩らない」ということは正しいとすればあの君主像は指揮しないがしかしそれは気怠い fact8: 「撫で摩らないがしかし気怠い」物はある fact9: 「撓垂れ掛からなくてかつ撫で摩るということはない」物はある fact10: なにがしかのものは撫で摩るということはない fact11: 「その諸事は雪深いし指揮する」ということは正しくない fact12: もし「撫で摩らないし気怠くらない」ものがあるならばあの同居生活は撓垂れ掛からない fact13: あの君主像は気怠くらない fact14: もしあの君主像は撫で摩るとすると「その諸事は雪深いということはないが指揮する」ということは成り立たない fact15: そのドイツ兵士は取り掛かり易くない fact16: その御恩は素早くないしさらに雪深いということはない fact17: あの君主像は撓垂れ掛からないし撫で摩らない fact18: もし「気怠いということはないしまた撫で摩らない」ものがあるとするとあの君主像は撓垂れ掛からない ; $hypothesis$ = あの君主像は撫で摩らないとしたら「その諸事は雪深くないが指揮する」ということは嘘である ; $proof$ = 
void -> assump1: 以下のように仮定する。あの君主像は撫で摩らない; assump1 & fact13 -> int1: あの君主像は撫で摩らないし更にそれは気怠くらない; int1 -> int2: なんらかの物は撫で摩らなくてそれにそれは気怠くらない; int2 & fact12 -> int3: あの同居生活は撓垂れ掛からない; int3 & fact5 -> int4: 「その諸事は雪深くないけど指揮する」ということは本当でない; [assump1] & int4 -> hypothesis; __PROVED__
事実1: あの同居生活は撓垂れ掛からないとしたら「その諸事は雪深いし指揮する」ということは成り立たない
事実2: あの同居生活は撫で摩らない
事実3: もしあの君主像は撫で摩らないとすれば「その諸事が雪深いしその上指揮する」ということは事実と異なる
事実4: もし仮にその諸事は気怠くないなら「あの君主像は雪深くておまけに撫で摩る」ということは事実と異なる
事実5: もし「あの同居生活は撓垂れ掛かるということはない」ということは確かであるとすれば「その諸事は雪深くないけれどそれは指揮する」ということは確かでない
事実6: なにかは撫で摩るけど気怠くらないとすればあの同居生活は撓垂れ掛からない
事実7: 仮に「その諸事は撫で摩らない」ということは正しいとすればあの君主像は指揮しないがしかしそれは気怠い
事実8: 「撫で摩らないがしかし気怠い」物はある
事実9: 「撓垂れ掛からなくてかつ撫で摩るということはない」物はある
事実10: なにがしかのものは撫で摩るということはない
事実11: 「その諸事は雪深いし指揮する」ということは正しくない
事実12: もし「撫で摩らないし気怠くらない」ものがあるならばあの同居生活は撓垂れ掛からない
事実13: あの君主像は気怠くらない
事実14: もしあの君主像は撫で摩るとすると「その諸事は雪深いということはないが指揮する」ということは成り立たない
事実15: そのドイツ兵士は取り掛かり易くない
事実16: その御恩は素早くないしさらに雪深いということはない
事実17: あの君主像は撓垂れ掛からないし撫で摩らない
事実18: もし「気怠いということはないしまた撫で摩らない」ものがあるとするとあの君主像は撓垂れ掛からない

仮説: あの君主像は撫で摩らないとしたら「その諸事は雪深くないが指揮する」ということは嘘である
1. 仮定1: 以下のように仮定する。あの君主像は撫で摩らない
2. 仮定1と事実13から、推論1: "あの君主像は撫で摩らないし更にそれは気怠くらない"が導かれる
3. 推論1から、推論2: "なんらかの物は撫で摩らなくてそれにそれは気怠くらない"が導かれる
4. 推論2と事実12から、推論3: "あの同居生活は撓垂れ掛からない"が導かれる
5. 推論3と事実5から、推論4: "「その諸事は雪深くないけど指揮する」ということは本当でない"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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