「「その改良率は激しくない」ということは本当だとしたら「その改良率はＩＭエージであるけれど征伐しない」ということは誤っている」ということは成り立たない
fact1: もし仮にその改良率は激しいということはないならば「ＩＭエージであるし征伐する」ということは事実でない fact2: 激しくない物はＩＭエージだが征伐するということはない fact3: とある物は激しくないとすると「それはＩＭエージであるしまたそれは征伐する」ということは誤っている fact4: 「仮にその改良率は激しいとすると「その改良率はＩＭエージだがしかし征伐しない」ということは成り立たない」ということは成り立つ fact5: 仮にその天文学者はあざとくないとすれば「それは整理出来るがしかしＩＭエージでない」ということは間違いだ fact6: もし何らかのものは激しくないとすれば「「ＩＭエージであるし征伐しない」ということは誤っていない」ということは確かであるということはない fact7: その改良率が激しくないならそれはＩＭエージであるがしかし征伐しない fact8: もし仮に何かは激しいとしたら「それはＩＭエージでその上それは征伐しない」ということは嘘だ
fact6 -> hypothesis;
fact6 -> hypothesis;
$facts$ = fact1: もし仮にその改良率は激しいということはないならば「ＩＭエージであるし征伐する」ということは事実でない fact2: 激しくない物はＩＭエージだが征伐するということはない fact3: とある物は激しくないとすると「それはＩＭエージであるしまたそれは征伐する」ということは誤っている fact4: 「仮にその改良率は激しいとすると「その改良率はＩＭエージだがしかし征伐しない」ということは成り立たない」ということは成り立つ fact5: 仮にその天文学者はあざとくないとすれば「それは整理出来るがしかしＩＭエージでない」ということは間違いだ fact6: もし何らかのものは激しくないとすれば「「ＩＭエージであるし征伐しない」ということは誤っていない」ということは確かであるということはない fact7: その改良率が激しくないならそれはＩＭエージであるがしかし征伐しない fact8: もし仮に何かは激しいとしたら「それはＩＭエージでその上それは征伐しない」ということは嘘だ ; $hypothesis$ = 「「その改良率は激しくない」ということは本当だとしたら「その改良率はＩＭエージであるけれど征伐しない」ということは誤っている」ということは成り立たない ; $proof$ = 
fact6 -> hypothesis; __DISPROVED__
事実1: もし仮にその改良率は激しいということはないならば「ＩＭエージであるし征伐する」ということは事実でない
事実2: 激しくない物はＩＭエージだが征伐するということはない
事実3: とある物は激しくないとすると「それはＩＭエージであるしまたそれは征伐する」ということは誤っている
事実4: 「仮にその改良率は激しいとすると「その改良率はＩＭエージだがしかし征伐しない」ということは成り立たない」ということは成り立つ
事実5: 仮にその天文学者はあざとくないとすれば「それは整理出来るがしかしＩＭエージでない」ということは間違いだ
事実6: もし何らかのものは激しくないとすれば「「ＩＭエージであるし征伐しない」ということは誤っていない」ということは確かであるということはない
事実7: その改良率が激しくないならそれはＩＭエージであるがしかし征伐しない
事実8: もし仮に何かは激しいとしたら「それはＩＭエージでその上それは征伐しない」ということは嘘だ

仮説: 「「その改良率は激しくない」ということは本当だとしたら「その改良率はＩＭエージであるけれど征伐しない」ということは誤っている」ということは成り立たない
1. 事実6から、仮説が否定される

よって、仮説が否定されました。