there is something such that that it is not unerect or not a bachelor or both hold.
sent1: the jilt is unerect or does not bachelor or both if it is not a enantiomorphism. sent2: if the jilt is not a kind of a enantiomorphism then it is either not unerect or a bachelor or both. sent3: if something is not a enantiomorphism it is not unerect and/or does bachelor. sent4: the spirillum is bolometric and is a Papua. sent5: if something is not a enantiomorphism then it is not unerect and/or is not a bachelor. sent6: the nitpicker is unerect. sent7: the spirillum is a Papua. sent8: the jilt either is not unerect or does bachelor or both. sent9: the jilt is a Rhineland if that it is a Shan hold. sent10: the creatine is not bolometric if something that is a Rhineland is a kind of a enantiomorphism. sent11: there exists something such that it is unerect and/or does not bachelor. sent12: there exists something such that it is either not unerect or a bachelor or both. sent13: the jilt is unerect or it is not a bachelor or both. sent14: if something is not a enantiomorphism either it is unerect or it is not a bachelor or both. sent15: there is something such that it is a kind of a enantiomorphism. sent16: the jilt is a kind of a Shan.
sent9 & sent16 -> int1: the jilt is a Rhineland.; void -> assump1: Let's assume that the jilt is a enantiomorphism.; int1 & assump1 -> int2: the jilt is a Rhineland and is a kind of a enantiomorphism.; int2 -> int3: something is a kind of a Rhineland and is a enantiomorphism.; int3 & sent10 -> int4: the creatine is not bolometric.; sent4 -> int5: the spirillum is bolometric.; sent5 -> int6: if the jilt is not a enantiomorphism either it is not unerect or it is not a bachelor or both.;
$hypothesis$ = there is something such that that it is not unerect or not a bachelor or both hold. ; $context$ = sent1: the jilt is unerect or does not bachelor or both if it is not a enantiomorphism. sent2: if the jilt is not a kind of a enantiomorphism then it is either not unerect or a bachelor or both. sent3: if something is not a enantiomorphism it is not unerect and/or does bachelor. sent4: the spirillum is bolometric and is a Papua. sent5: if something is not a enantiomorphism then it is not unerect and/or is not a bachelor. sent6: the nitpicker is unerect. sent7: the spirillum is a Papua. sent8: the jilt either is not unerect or does bachelor or both. sent9: the jilt is a Rhineland if that it is a Shan hold. sent10: the creatine is not bolometric if something that is a Rhineland is a kind of a enantiomorphism. sent11: there exists something such that it is unerect and/or does not bachelor. sent12: there exists something such that it is either not unerect or a bachelor or both. sent13: the jilt is unerect or it is not a bachelor or both. sent14: if something is not a enantiomorphism either it is unerect or it is not a bachelor or both. sent15: there is something such that it is a kind of a enantiomorphism. sent16: the jilt is a kind of a Shan. ; $proof$ = 
sent9 & sent16 -> int1: the jilt is a Rhineland.; void -> assump1: Let's assume that the jilt is a enantiomorphism.; int1 & assump1 -> int2: the jilt is a Rhineland and is a kind of a enantiomorphism.; int2 -> int3: something is a kind of a Rhineland and is a enantiomorphism.; int3 & sent10 -> int4: the creatine is not bolometric.; sent4 -> int5: the spirillum is bolometric.; sent5 -> int6: if the jilt is not a enantiomorphism either it is not unerect or it is not a bachelor or both.; __UNKNOWN__