the snip is an immortal that is a obstruent.
sent1: the nuncio is ventricular if the nonpartisan is an oblique. sent2: that the nuncio is not philological and it is not a Boehmenism is not right. sent3: if the nuncio is an oblique then the nonpartisan is deconstructionist. sent4: either the nuncio is a existentialist or it is an oblique or both. sent5: if the fact that the nuncio is not philological and it is not a kind of a Boehmenism does not hold it is a Boehmenism. sent6: something is a flatbed if the fact that it is a kind of a Boehmenism hold. sent7: if the nuncio is a flatbed it is ventricular. sent8: the nonpartisan is a flatbed if the crack is ventricular. sent9: the nuncio is a flatbed. sent10: the snip is a kind of a obstruent if the crack is a kind of a flatbed. sent11: the snip is a kind of an immortal if that the nonpartisan is ventricular is not false. sent12: the crack is a flatbed. sent13: the nonpartisan is a kind of an oblique. sent14: if the nonpartisan is an immortal then the snip is ventricular. sent15: if the nonpartisan is deconstructionist it is ventricular. sent16: if the nuncio is a existentialist that the nonpartisan is deconstructionist hold. sent17: if the fact that something is not existentialist is correct the fact that it is a flatbed is not wrong. sent18: if there is something such that it is deconstructionist and it is not a kind of an oblique the nonpartisan is not existentialist. sent19: the nonpartisan is an immortal. sent20: the fact that if something is not a existentialist then that it is an immortal and is a kind of a obstruent is incorrect hold. sent21: the snip is a existentialist if the nuncio is immortal.
sent4 & sent16 & sent3 -> int1: the fact that the nonpartisan is deconstructionist is not incorrect.; int1 & sent15 -> int2: the nonpartisan is ventricular.; int2 & sent11 -> int3: the snip is an immortal.; sent10 & sent12 -> int4: the snip is a obstruent.; int3 & int4 -> hypothesis;
the nonpartisan is a kind of a flatbed.
sent17 -> int5: the nonpartisan is a kind of a flatbed if it is not existentialist.;
$hypothesis$ = the snip is an immortal that is a obstruent. ; $context$ = sent1: the nuncio is ventricular if the nonpartisan is an oblique. sent2: that the nuncio is not philological and it is not a Boehmenism is not right. sent3: if the nuncio is an oblique then the nonpartisan is deconstructionist. sent4: either the nuncio is a existentialist or it is an oblique or both. sent5: if the fact that the nuncio is not philological and it is not a kind of a Boehmenism does not hold it is a Boehmenism. sent6: something is a flatbed if the fact that it is a kind of a Boehmenism hold. sent7: if the nuncio is a flatbed it is ventricular. sent8: the nonpartisan is a flatbed if the crack is ventricular. sent9: the nuncio is a flatbed. sent10: the snip is a kind of a obstruent if the crack is a kind of a flatbed. sent11: the snip is a kind of an immortal if that the nonpartisan is ventricular is not false. sent12: the crack is a flatbed. sent13: the nonpartisan is a kind of an oblique. sent14: if the nonpartisan is an immortal then the snip is ventricular. sent15: if the nonpartisan is deconstructionist it is ventricular. sent16: if the nuncio is a existentialist that the nonpartisan is deconstructionist hold. sent17: if the fact that something is not existentialist is correct the fact that it is a flatbed is not wrong. sent18: if there is something such that it is deconstructionist and it is not a kind of an oblique the nonpartisan is not existentialist. sent19: the nonpartisan is an immortal. sent20: the fact that if something is not a existentialist then that it is an immortal and is a kind of a obstruent is incorrect hold. sent21: the snip is a existentialist if the nuncio is immortal. ; $proof$ = 
sent4 & sent16 & sent3 -> int1: the fact that the nonpartisan is deconstructionist is not incorrect.; int1 & sent15 -> int2: the nonpartisan is ventricular.; int2 & sent11 -> int3: the snip is an immortal.; sent10 & sent12 -> int4: the snip is a obstruent.; int3 & int4 -> hypothesis; __PROVED__