A natural deduction tool for CSI5110 term project