To understand the event "Dave has stinky feet.", it is important to know that stinky implies unclean