Add inference rules for Y and JOIN BOT