「このもにもにょLv.13は切れ易いし更に編成する」ということは間違いだ
fact1: このもにもにょLv.13は編成する fact2: このもにもにょLv.13は煮込むし切れ易い fact3: 切れ易くないモンスターは浅黒いかあるいは煮込むか両方ともである
fact2 -> int1: このもにもにょLv.13は切れ易い; int1 & fact1 -> hypothesis;
fact2 -> int1: {B}{a}; int1 & fact1 -> hypothesis;
このもにもにょLv.13は煮込むし加えて益無し
fact4 -> int2: もしもそのもにゅもわLv.98が切れ易くないなら浅黒いかあるいは煮込む;
$facts$ = fact1: このもにもにょLv.13は編成する fact2: このもにもにょLv.13は煮込むし切れ易い fact3: 切れ易くないモンスターは浅黒いかあるいは煮込むか両方ともである ; $hypothesis$ = 「このもにもにょLv.13は切れ易いし更に編成する」ということは間違いだ ; $proof$ = 
fact2 -> int1: このもにもにょLv.13は切れ易い; int1 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: {B}{a}; int1 & fact1 -> hypothesis; __DISPROVED__