1. No category

小テスト3 以下を、前向き推論、後向き推論の2方法で示せ。