もし仮にこの岩戸は自動作成しないとすれば「それは絡み合わないししかも揉めない」ということは成り立たない
fact1: この岩戸は自動作成しないとすれば「それは絡み合うということはなくてそれは揉める」ということは嘘である fact2: もしこの岩戸は自動作成しないなら「絡み合うし更にそれは揉めない」ということは偽だ fact3: なにがしかの物が自動作成しないならば絡み合わなくてその上それは揉めない fact4: もしなにがしかの物は自動作成しないとすると「それは絡み合うしおまけに揉めない」ということは間違っている fact5: 「なにかは自動作成しない」ということは確かであるとしたら「それは絡み合わないがしかし揉める」ということは成り立たない fact6: もし仮になにがしかのものは自動作成しないならば「それは絡み合わないしその上揉めない」ということは間違いだ fact7: なにかは自動作成するとしたら「絡み合うということはないし加えて揉めない」ということは間違いである
fact6 -> hypothesis;
$facts$ = fact1: この岩戸は自動作成しないとすれば「それは絡み合うということはなくてそれは揉める」ということは嘘である fact2: もしこの岩戸は自動作成しないなら「絡み合うし更にそれは揉めない」ということは偽だ fact3: なにがしかの物が自動作成しないならば絡み合わなくてその上それは揉めない fact4: もしなにがしかの物は自動作成しないとすると「それは絡み合うしおまけに揉めない」ということは間違っている fact5: 「なにかは自動作成しない」ということは確かであるとしたら「それは絡み合わないがしかし揉める」ということは成り立たない fact6: もし仮になにがしかのものは自動作成しないならば「それは絡み合わないしその上揉めない」ということは間違いだ fact7: なにかは自動作成するとしたら「絡み合うということはないし加えて揉めない」ということは間違いである ; $hypothesis$ = もし仮にこの岩戸は自動作成しないとすれば「それは絡み合わないししかも揉めない」ということは成り立たない ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: この岩戸は自動作成しないとすれば「それは絡み合うということはなくてそれは揉める」ということは嘘である
事実2: もしこの岩戸は自動作成しないなら「絡み合うし更にそれは揉めない」ということは偽だ
事実3: なにがしかの物が自動作成しないならば絡み合わなくてその上それは揉めない
事実4: もしなにがしかの物は自動作成しないとすると「それは絡み合うしおまけに揉めない」ということは間違っている
事実5: 「なにかは自動作成しない」ということは確かであるとしたら「それは絡み合わないがしかし揉める」ということは成り立たない
事実6: もし仮になにがしかのものは自動作成しないならば「それは絡み合わないしその上揉めない」ということは間違いだ
事実7: なにかは自動作成するとしたら「絡み合うということはないし加えて揉めない」ということは間違いである

仮説: もし仮にこの岩戸は自動作成しないとすれば「それは絡み合わないししかも揉めない」ということは成り立たない
1. 事実6から、仮説が導かれる

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