that the soman is a myelomeningocele hold.
sent1: the worthy is phrenic. sent2: if a jittery thing is phrenic the fact that the cefadroxil does not heat delinquent is true. sent3: if the cefadroxil does not heat delinquent then the soman is not a kind of a myelomeningocele. sent4: the worthy is jittery.
sent4 & sent1 -> int1: the worthy is jittery and is phrenic.; int1 -> int2: there exists something such that it is jittery and is phrenic.; int2 & sent2 -> int3: the cefadroxil does not heat delinquent.; sent3 & int3 -> hypothesis;
$hypothesis$ = that the soman is a myelomeningocele hold. ; $context$ = sent1: the worthy is phrenic. sent2: if a jittery thing is phrenic the fact that the cefadroxil does not heat delinquent is true. sent3: if the cefadroxil does not heat delinquent then the soman is not a kind of a myelomeningocele. sent4: the worthy is jittery. ; $proof$ = 
sent4 & sent1 -> int1: the worthy is jittery and is phrenic.; int1 -> int2: there exists something such that it is jittery and is phrenic.; int2 & sent2 -> int3: the cefadroxil does not heat delinquent.; sent3 & int3 -> hypothesis; __DISPROVED__