Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic