that the haptoglobin is not a auspiciousness hold.
sent1: the fact that the literate is a decrepitation is not false if the chloramine is a delinquency. sent2: the haptoglobin is not a kind of a Oscar if the chloramine is a Oscar. sent3: that the mescal is endogenic is not false if it either is not unimodal or does not name welding or both. sent4: if the fact that the literate is not a kind of a reassembly and it is not a kind of a Oscar is wrong the chloramine is a Oscar. sent5: the fact that the mescal is not unimodal hold if it is a butterfat but not a court. sent6: if a decrepitation does name conceptualization then the fact that the mescal is not endogenic is correct. sent7: if the mescal is not a Oscar then it is a butterfat and it is not a court. sent8: the mescal names conceptualization if that the taco is a Maxim and not endogenic does not hold. sent9: the fact that something is not a reassembly and is not a Oscar does not hold if that it is not a delinquency is right. sent10: the fact that something is a Maxim that is not endogenic is false if it is a prison. sent11: something is not a auspiciousness if the fact that it is a Maxim and a prison is not true. sent12: if the literate does not name conceptualization then the fact that the haptoglobin is a Maxim and it is a prison is false. sent13: something is a auspiciousness if that it is not a auspiciousness and it is not a delinquency does not hold. sent14: something is not a auspiciousness if it is not a kind of a Maxim. sent15: the chloramine is a delinquency and a reassembly. sent16: the taco is a kind of a prison and is a kind of a auspiciousness.
sent15 -> int1: the chloramine is a kind of a delinquency.; int1 & sent1 -> int2: the literate is a decrepitation.; void -> assump1: Let's assume that the literate does name conceptualization.; int2 & assump1 -> int3: the literate is a decrepitation and it does name conceptualization.; int3 -> int4: there exists something such that it is a kind of a decrepitation and it names conceptualization.; int4 & sent6 -> int5: the mescal is not endogenic.; sent11 -> int6: the haptoglobin is not a auspiciousness if that it is a kind of a Maxim and it is a prison is incorrect.;
the haptoglobin is not a Oscar.
sent9 -> int7: if the literate is not a kind of a delinquency the fact that it is not a reassembly and is not a Oscar is not right.; sent10 -> int8: if the taco is a prison the fact that it is a Maxim and it is not endogenic is not true.; sent16 -> int9: the taco is a prison.; int8 & int9 -> int10: the fact that the taco is a Maxim and not endogenic is false.; sent8 & int10 -> int11: the mescal does name conceptualization.; int11 -> int12: something does name conceptualization.;
$hypothesis$ = that the haptoglobin is not a auspiciousness hold. ; $context$ = sent1: the fact that the literate is a decrepitation is not false if the chloramine is a delinquency. sent2: the haptoglobin is not a kind of a Oscar if the chloramine is a Oscar. sent3: that the mescal is endogenic is not false if it either is not unimodal or does not name welding or both. sent4: if the fact that the literate is not a kind of a reassembly and it is not a kind of a Oscar is wrong the chloramine is a Oscar. sent5: the fact that the mescal is not unimodal hold if it is a butterfat but not a court. sent6: if a decrepitation does name conceptualization then the fact that the mescal is not endogenic is correct. sent7: if the mescal is not a Oscar then it is a butterfat and it is not a court. sent8: the mescal names conceptualization if that the taco is a Maxim and not endogenic does not hold. sent9: the fact that something is not a reassembly and is not a Oscar does not hold if that it is not a delinquency is right. sent10: the fact that something is a Maxim that is not endogenic is false if it is a prison. sent11: something is not a auspiciousness if the fact that it is a Maxim and a prison is not true. sent12: if the literate does not name conceptualization then the fact that the haptoglobin is a Maxim and it is a prison is false. sent13: something is a auspiciousness if that it is not a auspiciousness and it is not a delinquency does not hold. sent14: something is not a auspiciousness if it is not a kind of a Maxim. sent15: the chloramine is a delinquency and a reassembly. sent16: the taco is a kind of a prison and is a kind of a auspiciousness. ; $proof$ = 
sent15 -> int1: the chloramine is a kind of a delinquency.; int1 & sent1 -> int2: the literate is a decrepitation.; void -> assump1: Let's assume that the literate does name conceptualization.; int2 & assump1 -> int3: the literate is a decrepitation and it does name conceptualization.; int3 -> int4: there exists something such that it is a kind of a decrepitation and it names conceptualization.; int4 & sent6 -> int5: the mescal is not endogenic.; sent11 -> int6: the haptoglobin is not a auspiciousness if that it is a kind of a Maxim and it is a prison is incorrect.; __UNKNOWN__