Using Logic To Test Conditional Sentences Examples