このぷゆぷにょLv.84は書き残すということはない
fact1: このぷゆぷにょLv.84はしこり立つ fact2: そのぴちゅぴえLv.7はしこり立つ
fact1 -> int1: このぷゆぷにょLv.84はしこり立つ;
fact1 -> int1: {A}{a};
$facts$ = fact1: このぷゆぷにょLv.84はしこり立つ fact2: そのぴちゅぴえLv.7はしこり立つ ; $hypothesis$ = このぷゆぷにょLv.84は書き残すということはない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__