「あの万華鏡は書き送らない一方で軟申す」ということは成り立たない
fact1: もしも「この遊牧社会は誘惑出来るがしかしそれは取り易くない」ということは成り立つということはないとすると「その理事会は誘惑出来る」ということは成り立つ fact2: 「あの万華鏡は書き送るし加えて軟申す」ということは本当でない fact3: 雲海は書き送らないけれど軟申す fact4: その理事会が躍起でないとするとＦＭＲＩであるし雲海だ fact5: 仮になにかは誘惑出来るとするとそれは重たいということはないか躍起でないかまたはどちらもだ fact6: 「この利水は婚約しないがしかしそれは書き送る」ということは成り立たない fact7: 仮にあるものは正解すれば「この遊牧社会は誘惑出来るけど取り易くない」ということは成り立つということはない fact8: もしその理事会が重たいということはないか躍起でないか両方ともならば躍起でない fact9: この笹は正解する fact10: 「あの万華鏡は信じるし加えて軟申す」ということは嘘である fact11: 「あの万華鏡は書き送らないけどそれは軟申す」ということは成り立たない fact12: 「あの万華鏡は書き送らないけれど保障す」ということは成り立たない
fact11 -> hypothesis;
fact11 -> hypothesis;
「あの万華鏡は優樹達でないけど書き送る」ということは成り立たない
$facts$ = fact1: もしも「この遊牧社会は誘惑出来るがしかしそれは取り易くない」ということは成り立つということはないとすると「その理事会は誘惑出来る」ということは成り立つ fact2: 「あの万華鏡は書き送るし加えて軟申す」ということは本当でない fact3: 雲海は書き送らないけれど軟申す fact4: その理事会が躍起でないとするとＦＭＲＩであるし雲海だ fact5: 仮になにかは誘惑出来るとするとそれは重たいということはないか躍起でないかまたはどちらもだ fact6: 「この利水は婚約しないがしかしそれは書き送る」ということは成り立たない fact7: 仮にあるものは正解すれば「この遊牧社会は誘惑出来るけど取り易くない」ということは成り立つということはない fact8: もしその理事会が重たいということはないか躍起でないか両方ともならば躍起でない fact9: この笹は正解する fact10: 「あの万華鏡は信じるし加えて軟申す」ということは嘘である fact11: 「あの万華鏡は書き送らないけどそれは軟申す」ということは成り立たない fact12: 「あの万華鏡は書き送らないけれど保障す」ということは成り立たない ; $hypothesis$ = 「あの万華鏡は書き送らない一方で軟申す」ということは成り立たない ; $proof$ = 
fact11 -> hypothesis; __PROVED__
事実1: もしも「この遊牧社会は誘惑出来るがしかしそれは取り易くない」ということは成り立つということはないとすると「その理事会は誘惑出来る」ということは成り立つ
事実2: 「あの万華鏡は書き送るし加えて軟申す」ということは本当でない
事実3: 雲海は書き送らないけれど軟申す
事実4: その理事会が躍起でないとするとＦＭＲＩであるし雲海だ
事実5: 仮になにかは誘惑出来るとするとそれは重たいということはないか躍起でないかまたはどちらもだ
事実6: 「この利水は婚約しないがしかしそれは書き送る」ということは成り立たない
事実7: 仮にあるものは正解すれば「この遊牧社会は誘惑出来るけど取り易くない」ということは成り立つということはない
事実8: もしその理事会が重たいということはないか躍起でないか両方ともならば躍起でない
事実9: この笹は正解する
事実10: 「あの万華鏡は信じるし加えて軟申す」ということは嘘である
事実11: 「あの万華鏡は書き送らないけどそれは軟申す」ということは成り立たない
事実12: 「あの万華鏡は書き送らないけれど保障す」ということは成り立たない

仮説: 「あの万華鏡は書き送らない一方で軟申す」ということは成り立たない
1. 事実11から、仮説が導かれる

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