Using Aristotelian forms as your guide, translate into FOL short form (e.g., H for happy, R for running). Use the conventions already established. Only use one quantifier for each sentence. 1. All dogs are happy. 2. Some dog is happy. 3. Some dog is unhappy. 4. Any dog or cat is happy. 5. Some cat is happy or unhappy. 6. No dogs are happy. 7. All happy dogs are running. 8. Some happy dog is running. 9. No happy dog is running. 10. Not all dogs are happy.