Program tries to prove a proposition using natural deduction