Add BCI and BCE rules, and fix bug with theorem proving
Changed absurdity symbol