syllogism public under deductive-reasoning 1 List Picture As a command %3 n0 syllogism n1 deductive-reasoning n1->n0