Entailment is an implication of the premisses to the conclusion