(Work in Progress)
Playing with common sense logic such as "birds typically fly; penguins are birds, but penguins typically do not fly" based on the paper System Z: a natural ordering of defaults with tractable applications to default reasoning by Judea Pearl.
python testing.py