このぷにゃぷよLv.78は弱い
fact1: もしこのぷにゃぷよLv.78が素早いならばそのぷのぷにょLv.78はティ・アップする fact2: そのぷのぷにょLv.78は素早い fact3: そのぷのぷにょLv.78はティ・アップするし素早い
fact3 -> int1: そのぷのぷにょLv.78はティ・アップする;
fact3 -> int1: {A}{a};
$facts$ = fact1: もしこのぷにゃぷよLv.78が素早いならばそのぷのぷにょLv.78はティ・アップする fact2: そのぷのぷにょLv.78は素早い fact3: そのぷのぷにょLv.78はティ・アップするし素早い ; $hypothesis$ = このぷにゃぷよLv.78は弱い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__