Philosophy Symbolic Logic Proofs Using Ana