Theorem Search
Each theorem in the database is stored as an implication. Using this page you can query specific implications: the site will query the database of theorems and the database of counterexamples to try and find an answer either positive or negative to the query.
Using the first select box and the Add as true, Add as false links, create a conjunction of axioms with various signs. Then select a conclusion below.