Philosophy Symbolic Logic Proofs Using Analytics To Improve