3.6. EXERCISES: Deducing Beliefs

1. Tell Cassie that John believes that Orville and Wilbur can fly.
2. Does John believe that Orville can fly?
3. Try this sequence of commands:

   (resetnet t)
   (define member class)
   (describe (deduce member PUT_YOUR_NAME_HERE class will\ pass))
   

   (The (resetnet t) command is explained in §4.1.) Node M1 is created. Why?