I.   The Translations into English

           A.   If Calvin is not in school, then Calvin is not Spaceman
                Spiff.

           B.   If Calvin is in school and is Spaceman Spiff, then Hobbes
                is asleep.

           C.   If Hobbes is asleep, then Calvin is either a pterodactyl or
                Spaceman Spiff.

           D.   Hobbes is asleep if and only if Calvin has been
                transmogrified.

      II.   The Symbolizations from English

           A.   ~S -> P

           B.   R -> Q

           C.   P -> (T & ~R)