asacalowww

Mm don't think so. It's a non-monotonic statement, in that given Tweety is a bird, and therefore might also be a penguin then it can't make an assertion either way as to whether Tweety can fly or not. Non-monotonic reasoning is especially useful in many real world scenarios where a derived logic system doesn't have tidy yes/no answers throughout.

Just tried a set of classic non-monotonic reasoning statements and it didn't like it much: https://rule-reasoning.apps.allenai.org/?p=Penguins%20are%20...