inference specific PLN inference rules and the corresponding truth-value formulas used