Логическая задача Льюиса Керрола.

Попробуйте прийти к заключению:

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

используя утверждения:

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

Update:Я смог решить задачу только используя Reductio Ad Absurdum. Скорее всего в интуиционистской логике задача не решаема, т.е. прямого доказательства нет.

http://en.wikipedia.org/wiki/Reductio_Ad_Absurdum