Title: How to Learn Natural Deduction Inference Rules : Biconditional Elimination and Disjunction Introduction