「その黒点群は持ち越しでない」ということは成り立つ
fact1: この水酸は奥床しくてまたそれは晴々しい fact2: もし仮にその箱根登山鉄道が調理する一方で踏み外さないとするとあの煮浸しは踏み外す fact3: 持ち越しが調理するならそれは電気系統でない fact4: もしもあるものが晴々しかないがそれが十一文字だとしたらそれは電気系統である fact5: あの煮浸しは回向院だ fact6: もしなんらかのものが述べ合うとするとそれは調理する fact7: 晴々しい物が十一文字だとしたらそれは電気系統だ fact8: もし晴々しかないものは回向院であるなら述べ合う fact9: もしもその箱根登山鉄道が踏み外すとすればその黒点群は述べ合う fact10: 「その黒点群は晴々しいということはないけれど十一文字だ」ということは事実である fact11: その黒点群は晴々しかない fact12: あの煮浸しは持ち越しであるということはない fact13: もしもなにがしかのものは踏み外すなら「それは回向院でないしその上持ち越しでない」ということは誤りだ fact14: もし仮にあの煮浸しが回向院ならその箱根登山鉄道は踏み外す fact15: もし仮にその黒点群は晴々しいしさらに十一文字であるならば電気系統である
fact14 & fact5 -> int1: 「その箱根登山鉄道は踏み外す」ということは成り立つ; int1 & fact9 -> int2: 「その黒点群は述べ合う」ということは成り立つ; fact6 -> int3: もしその黒点群が述べ合うなら調理する; int2 & int3 -> int4: その黒点群は調理する; void -> assump1: 以下のように仮定する。その黒点群は持ち越しだ; int4 & assump1 -> int5: その黒点群は持ち越しであるし加えて調理する; fact3 -> int6: もし仮にその黒点群が持ち越しだし調理すれば電気系統でない; int5 & int6 -> int7: 「その黒点群は電気系統だということはない」ということは事実である; fact4 -> int8: もしその黒点群は晴々しかないけど十一文字ならば電気系統である; int8 & fact10 -> int9: その黒点群は電気系統である; int7 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis;
「その黒点群は持ち越しである」ということは成り立つ
fact17 -> int11: もしもあの煮浸しは踏み外すとしたら「回向院だということはないしそれは持ち越しでない」ということは嘘だ;
$facts$ = fact1: この水酸は奥床しくてまたそれは晴々しい fact2: もし仮にその箱根登山鉄道が調理する一方で踏み外さないとするとあの煮浸しは踏み外す fact3: 持ち越しが調理するならそれは電気系統でない fact4: もしもあるものが晴々しかないがそれが十一文字だとしたらそれは電気系統である fact5: あの煮浸しは回向院だ fact6: もしなんらかのものが述べ合うとするとそれは調理する fact7: 晴々しい物が十一文字だとしたらそれは電気系統だ fact8: もし晴々しかないものは回向院であるなら述べ合う fact9: もしもその箱根登山鉄道が踏み外すとすればその黒点群は述べ合う fact10: 「その黒点群は晴々しいということはないけれど十一文字だ」ということは事実である fact11: その黒点群は晴々しかない fact12: あの煮浸しは持ち越しであるということはない fact13: もしもなにがしかのものは踏み外すなら「それは回向院でないしその上持ち越しでない」ということは誤りだ fact14: もし仮にあの煮浸しが回向院ならその箱根登山鉄道は踏み外す fact15: もし仮にその黒点群は晴々しいしさらに十一文字であるならば電気系統である ; $hypothesis$ = 「その黒点群は持ち越しでない」ということは成り立つ ; $proof$ = 
fact14 & fact5 -> int1: 「その箱根登山鉄道は踏み外す」ということは成り立つ; int1 & fact9 -> int2: 「その黒点群は述べ合う」ということは成り立つ; fact6 -> int3: もしその黒点群が述べ合うなら調理する; int2 & int3 -> int4: その黒点群は調理する; void -> assump1: 以下のように仮定する。その黒点群は持ち越しだ; int4 & assump1 -> int5: その黒点群は持ち越しであるし加えて調理する; fact3 -> int6: もし仮にその黒点群が持ち越しだし調理すれば電気系統でない; int5 & int6 -> int7: 「その黒点群は電気系統だということはない」ということは事実である; fact4 -> int8: もしその黒点群は晴々しかないけど十一文字ならば電気系統である; int8 & fact10 -> int9: その黒点群は電気系統である; int7 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis; __PROVED__
事実1: この水酸は奥床しくてまたそれは晴々しい
事実2: もし仮にその箱根登山鉄道が調理する一方で踏み外さないとするとあの煮浸しは踏み外す
事実3: 持ち越しが調理するならそれは電気系統でない
事実4: もしもあるものが晴々しかないがそれが十一文字だとしたらそれは電気系統である
事実5: あの煮浸しは回向院だ
事実6: もしなんらかのものが述べ合うとするとそれは調理する
事実7: 晴々しい物が十一文字だとしたらそれは電気系統だ
事実8: もし晴々しかないものは回向院であるなら述べ合う
事実9: もしもその箱根登山鉄道が踏み外すとすればその黒点群は述べ合う
事実10: 「その黒点群は晴々しいということはないけれど十一文字だ」ということは事実である
事実11: その黒点群は晴々しかない
事実12: あの煮浸しは持ち越しであるということはない
事実13: もしもなにがしかのものは踏み外すなら「それは回向院でないしその上持ち越しでない」ということは誤りだ
事実14: もし仮にあの煮浸しが回向院ならその箱根登山鉄道は踏み外す
事実15: もし仮にその黒点群は晴々しいしさらに十一文字であるならば電気系統である

仮説: 「その黒点群は持ち越しでない」ということは成り立つ
1. 事実14と事実5から、推論1: "「その箱根登山鉄道は踏み外す」ということは成り立つ"が導かれる
2. 推論1と事実9から、推論2: "「その黒点群は述べ合う」ということは成り立つ"が導かれる
3. 事実6から、推論3: "もしその黒点群が述べ合うなら調理する"が導かれる
4. 推論2と推論3から、推論4: "その黒点群は調理する"が導かれる
5. 仮定1: 以下のように仮定する。その黒点群は持ち越しだ
6. 推論4と仮定1から、推論5: "その黒点群は持ち越しであるし加えて調理する"が導かれる
7. 事実3から、推論6: "もし仮にその黒点群が持ち越しだし調理すれば電気系統でない"が導かれる
8. 推論5と推論6から、推論7: "「その黒点群は電気系統だということはない」ということは事実である"が導かれる
9. 事実4から、推論8: "もしその黒点群は晴々しかないけど十一文字ならば電気系統である"が導かれる
10. 推論8と事実10から、推論9: "その黒点群は電気系統である"が導かれる
11. 推論7と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、仮説が導かれる

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