Text: If our software is occasionally too fat, we developers fall back on the same excuse philosopher Blaise Pascal offered three centuries ago for his verbose  I have only made this [letter] longer because I have not had the time to make it shorter.
Entailment: If our software is occasionally too fat, we developers fall back on the same excuse philosopher Blaise Pascal offered
Contradiction: If our software is occasionally too fat, we developers don't like to fall back on the same excuse philosopher Blaise Pascal offered