Additional Exercise for Section 5.5 -- Indirect Exceptions to Defaults 

Write a program with consistency restoring rules
representing the following information:
"Cars normally work; in rare cases, a car does not work.
Working cars have working engines. 
The engine of John's car does not work."
Make sure that your program entails that John's car does not work but 
Mary's car does.