Title: How to Learn Natural Deduction Inference Rules : Conjunction Introduction , Conjunction Elimination , Conditional Elimination