Logical Argument Validation Using Inference Rules