----------------
Defeasable logic
----------------

Infer that polly the pinguin does not fly.
