-----------------------
Disjunction Elimination
-----------------------

The tests are at http://josd.github.io/eye/reasoning/de/test
