Логика и теория аргументации

Построить вывод заключения из посылок. Использовать правила с

Посылки:

1. Всякий, кто не танцует на туго натянутом канате и не ест пирожков за один пенс, стар
2. Со свиньями, которые временами испытывают головокружения, обращаются почтительно
3. Разумный человек, отправяясь в путешествие на воздушном шаре, берёт с собой зонтик
4. Не следует завтракать в присутствии посторонних тому, кто имеет смешной вид и ест пирожки за один пенс
5. Юные существа, отправляющиеся в путешествие на воздушном шаре, временами испытывают головокружение
6. Жирные существа, имеющие смешной вид, могут завтракать при посторонних, если только они не танцуют на туго натянутом канате
7. Ни одно разумное существо не станет танцевать на туго натянутом канате, если оно временами испытывает головокружение
8. Свинья с зонтиком имеет смешной вид
9. Все, кто не танцует на туго натянутом канате и с кем обращаются почтительно, жирны

Заключение:

Ни один разумный поросёнок не отправится путешествовать на воздушном шаре