- All, who neither dance on tight ropes nor eat peanut butter, are tall.
- Creatures with spikey hair who look silly will go swimming if they do not dance on tight-ropes.
- A kangaroo looks silly wearing sunglasses.
- A smart creature will always do what he ought to do.
- No one ought to go swimming who looks silly and eats peanut butter.
- A smart driver wears sunglasses.
- Kangaroos that have sneezing fits are avoided.
- Short creatures who go driving have sneezing fits.
- No creatures ought to dance on tight-ropes if they have sneezing fits.
- All, who do not dance on tight-ropes and who are avoided, have spikey hair.
Therefore, no short kangaroos who are smart...
...will go driving.
If a short smart kangaroo goes driving, then we also know:
He does not dance on tight ropes, he has sneezing fits, he wears sunglasses and looks silly, he eats peanut butter, he is avoided, and he has spikey hair.
Since he looks silly and eats peanut butter, he ought not go swimming. Since he is smart, I'll assume he will do as he ought.
Since he looks silly, has spiky hair, and does not dance on tight ropes, he may go swimming. I'll assume this means that there is a possibility that he will go, or that he can go.
Based on that interpretation of those statements, that makes a contradiction, so the kangaroo must not go driving.