entailment rules

https://www.ultius.com/glossary/linguistics/entailment.html#:~:text=The%20basic%20rule%20for%20entailment,X%20must%20also%20be%20false.