Intelligent Systems Project 1 - Automatic Theorem Proving Program