Define A Simple Predicate Logic Proof Calculator