the artilleryman is homozygous.
sent1: something is not closing but it is an executive. sent2: something undulates if it is aperiodic. sent3: the artilleryman does pit sleeve. sent4: if that something pits sleeve and is homozygous is not correct it does not close. sent5: if the zinc is a kind of a Dysdercus but it does not gall Rostand then the sleeve is not a Dysdercus. sent6: the ridley is aperiodic. sent7: the sleeve is not homozygous if something is a kind of non-closing an executive. sent8: if the zinc does not undulate the sleeve is a Dysdercus and galls Rostand. sent9: something is not homozygous if the fact that it does pit sleeve and is a Dysdercus is not right. sent10: there is something such that it is not closing. sent11: there exists something such that it is an executive.
sent1 & sent7 -> int1: the sleeve is not homozygous.;
the artilleryman is not homozygous.
sent9 -> int2: the artilleryman is not homozygous if the fact that it pits sleeve and it is a Dysdercus is wrong.; sent2 -> int3: if the ridley is aperiodic it undulates.; int3 & sent6 -> int4: the ridley does undulate.; int4 -> int5: something does undulate.;
$hypothesis$ = the artilleryman is homozygous. ; $context$ = sent1: something is not closing but it is an executive. sent2: something undulates if it is aperiodic. sent3: the artilleryman does pit sleeve. sent4: if that something pits sleeve and is homozygous is not correct it does not close. sent5: if the zinc is a kind of a Dysdercus but it does not gall Rostand then the sleeve is not a Dysdercus. sent6: the ridley is aperiodic. sent7: the sleeve is not homozygous if something is a kind of non-closing an executive. sent8: if the zinc does not undulate the sleeve is a Dysdercus and galls Rostand. sent9: something is not homozygous if the fact that it does pit sleeve and is a Dysdercus is not right. sent10: there is something such that it is not closing. sent11: there exists something such that it is an executive. ; $proof$ = 
sent1 & sent7 -> int1: the sleeve is not homozygous.; __UNKNOWN__