そのぴわぴちょLv.56は疑わない
fact1: そのぴわぴちょLv.56は操作し易いモンスターで加えてしかつめらしい fact2: そのぴわぴちょLv.56が操作し易いならばそのぴわぴちょLv.56は疑う
fact1 -> int1: そのぴわぴちょLv.56は操作し易い; int1 & fact2 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact2 -> hypothesis;
$facts$ = fact1: そのぴわぴちょLv.56は操作し易いモンスターで加えてしかつめらしい fact2: そのぴわぴちょLv.56が操作し易いならばそのぴわぴちょLv.56は疑う ; $hypothesis$ = そのぴわぴちょLv.56は疑わない ; $proof$ = 
fact1 -> int1: そのぴわぴちょLv.56は操作し易い; int1 & fact2 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}{a}; int1 & fact2 -> hypothesis; __DISPROVED__