けんき
says to
YSITD
我有一次分導作業想用first order logic寫