Logic that duplicates the ‘defeasible’ nature of much informal and everyday reasoning. In such reasoning, a set of premises may entitle one to draw a conclusion, yet the addition of further information forces its withdrawal. From the fact that Tweety is a bird it is reasonable to infer that Tweety can fly; but if you add the premise that Tweety is a penguin then the inference is nullified.