Text this: Automated Validation Of Software Product Lines Using First Order Logic Rules