あのぴやぴちょLv.78は怪しない
fact1: あのぴやぴちょLv.78は弁解がましかない fact2: 仮になにがしかのモンスターが刷くないとすれば怪ししまたそれは弁解がましい
以下のように仮定する。あのぴやぴちょLv.78は怪し
fact3 -> int1: もしもあのぴやぴちょLv.78が刷くないとすればそれは怪しし更に弁解がましい;
$facts$ = fact1: あのぴやぴちょLv.78は弁解がましかない fact2: 仮になにがしかのモンスターが刷くないとすれば怪ししまたそれは弁解がましい ; $hypothesis$ = あのぴやぴちょLv.78は怪しない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__