His diaphragm tautened with the sharp pain of long-unused muscles, and he sneezed.
He experienced no pain or strain when he sneezed. 
mnli hypothesis: He experienced no pain or strain when he sneezed.  premise: His diaphragm tautened with the sharp pain of long-unused muscles, and he sneezed.