examples of truth and entailment - Search