Formal theories are based on sets of axioms. Philosophers as mathematicians may accept desired axioms and get some
different incompatible theorems. Consequently, the truth of such theorem is conditional. The ultimate test for a
philosophical system is logical consistency. If we want to treat philosophy as more scientific we first need to test
philosophical systems for mentioned property. The method described in this paper is an elegant solution to automatically
check for inconsistency of philosophical theories.