... -- if the sufficient condition is not met, or if the necessary condition is ... meet the sufficient condition while denying the necessary condition -- in ... shows that the necessary condition (being rotten, in ... also shows that the sufficient condition (being an apple ...