Implemented DivisibleByThree.java for task 14
Implemented a smallest number calculator (Task 15)

Okay, so I went a bit overboard with the logical proof. We were
learning about propositional equivalences in this week in discrete
mathematics, and I wanted to get some hands on experience.