contradiction, tautology + 1 test, 3 tests for entails