そのもちゅもくLv.55は治り掛けない
fact1: 仮にあるモンスターは結び付き易いとしたら「それは治り掛ける」ということは確かである fact2: もしもあのぴちゅぴちゅLv.0が結び付き易いならそのもちゅもくLv.55は治り掛ける fact3: あのぴちゅぴちゅLv.0は結び付き易い
fact3 -> int1: あのぴちゅぴちゅLv.0は結び付き易い; int1 & fact2 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact2 -> hypothesis;
このぷにぷよLv.41は治り掛ける
fact4 -> int2: もし仮にこのぷにぷよLv.41が結び付き易いとしたらそれは治り掛ける;
$facts$ = fact1: 仮にあるモンスターは結び付き易いとしたら「それは治り掛ける」ということは確かである fact2: もしもあのぴちゅぴちゅLv.0が結び付き易いならそのもちゅもくLv.55は治り掛ける fact3: あのぴちゅぴちゅLv.0は結び付き易い ; $hypothesis$ = そのもちゅもくLv.55は治り掛けない ; $proof$ = 
fact3 -> int1: あのぴちゅぴちゅLv.0は結び付き易い; int1 & fact2 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}{a}; int1 & fact2 -> hypothesis; __DISPROVED__