Text this: Religious questions answered: logic for Islamic rules