------------------
Entailment example
------------------

Examples of logic entailment.
