あの週刊新世紀は御優しい
fact1: もし仮に「その水没はキッドでないかもしくはそれは御優しくないかもしくはどちらもである」ということは事実と異なるとしたら「あの週刊新世紀は御優しくない」ということは事実だ fact2: その水没はキッドだ fact3: 仮にその水没が御優しいとしたらあの週刊新世紀はキッドである fact4: 「その水没は御優しい」ということは本当ならばあの週刊新世紀は返答出来る fact5: あの週刊新世紀はキッドである fact6: もしその水没がキッドならあの週刊新世紀は御優しい fact7: もしある物は実地演習でないとすると「キッドだし御優しい」ということは誤りである fact8: もし仮にその水没が御優しいとするとこの慢性疲労は御優しい
fact6 & fact2 -> hypothesis;
fact6 & fact2 -> hypothesis;
あの週刊新世紀は御優しくない
fact9 -> int1: 「その水没は実地演習だ」ということは偽だとしたら「「キッドであるしそれに御優しい」ということは真実だ」ということは成り立たない;
$facts$ = fact1: もし仮に「その水没はキッドでないかもしくはそれは御優しくないかもしくはどちらもである」ということは事実と異なるとしたら「あの週刊新世紀は御優しくない」ということは事実だ fact2: その水没はキッドだ fact3: 仮にその水没が御優しいとしたらあの週刊新世紀はキッドである fact4: 「その水没は御優しい」ということは本当ならばあの週刊新世紀は返答出来る fact5: あの週刊新世紀はキッドである fact6: もしその水没がキッドならあの週刊新世紀は御優しい fact7: もしある物は実地演習でないとすると「キッドだし御優しい」ということは誤りである fact8: もし仮にその水没が御優しいとするとこの慢性疲労は御優しい ; $hypothesis$ = あの週刊新世紀は御優しい ; $proof$ = 
fact6 & fact2 -> hypothesis; __PROVED__
事実1: もし仮に「その水没はキッドでないかもしくはそれは御優しくないかもしくはどちらもである」ということは事実と異なるとしたら「あの週刊新世紀は御優しくない」ということは事実だ
事実2: その水没はキッドだ
事実3: 仮にその水没が御優しいとしたらあの週刊新世紀はキッドである
事実4: 「その水没は御優しい」ということは本当ならばあの週刊新世紀は返答出来る
事実5: あの週刊新世紀はキッドである
事実6: もしその水没がキッドならあの週刊新世紀は御優しい
事実7: もしある物は実地演習でないとすると「キッドだし御優しい」ということは誤りである
事実8: もし仮にその水没が御優しいとするとこの慢性疲労は御優しい

仮説: あの週刊新世紀は御優しい
1. 事実6と事実2から、仮説が導かれる

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