Силлогизм Условно-категорический

В котором первая посылка является условным суждением (импликацией), а вторая посылка -категорическим (простым).