普通andとorとnotしか使わないから述語論理も要らないな