Refactored ProveChecker to PropositionalCalculus (tasks 1,2 are solved)