Introduce new ProofStatuses for axiom subsets and contradictions
Introduce new ProofStatuses for axiom subsets and contradictions

Remember to run rake generate:proof_statuses to make them usable.

ontohub/ontohub,ontohub/ontohub,ontohub/ontohub,ontohub/ontohub,ontohub/ontohub,ontohub/ontohub