the estrone does not concern Somalian and/or it alights.
sent1: either the Somalian is a undernourishment or it is a salability or both. sent2: the wardrobe does not concern vicar-general. sent3: the incendiary is both a pantheist and pugilistic. sent4: something is not a cynancum but pugilistic if it reopens catalepsy. sent5: that the Somalian is not a Hymen is not incorrect. sent6: the senna is a kind of a undernourishment and it is a salability if the beads does not flinch. sent7: that the incendiary is a counterespionage or does not compound or both does not hold if that it is a kind of a pantheist is right. sent8: the estrone does not concern Somalian if the Somalian does not concern vicar-general but it does reopen catalepsy. sent9: if the fact that the incendiary is a counterespionage and/or it is not a compound is false the beads does not flinch. sent10: if something is not a kind of a monotony it is autoplastic. sent11: that if the estrone is probabilistic the estrone is not autoplastic is not incorrect. sent12: if something does not concern vicar-general that it does not concern Somalian and/or does alight is incorrect. sent13: if the asparagus is not a monotony then the fact that the Somalian is autoplastic but it does not reopen catalepsy does not hold. sent14: the estrone is not a kind of a two-piece or it does concern Somalian or both. sent15: the Somalian is a kind of a monotony if it is a salability. sent16: if the fact that the Somalian is a undernourishment is not incorrect it is not a kind of a monotony. sent17: the Somalian is not a monotony if it is a salability. sent18: the fact that something is non-autoplastic thing that does reopen catalepsy is not correct if it is a monotony. sent19: if the lilac is a leisure it is not a undernourishment. sent20: if the estrone is two-piece it is not a barbecued. sent21: if the Somalian does concern vicar-general it is both not a two-piece and a mainland. sent22: something does reopen catalepsy and is autoplastic if it is not a monotony. sent23: the estrone is not a kind of a mainland. sent24: something is thyrotoxic and it reopens bromoform if it does not home. sent25: that the Somalian is two-piece and it is a mainland is wrong. sent26: there exists nothing such that it is not a two-piece and it is a mainland. sent27: the estrone does not concern Somalian if it is a two-piece.
void -> assump1: Let's assume that the Somalian concerns vicar-general.; sent21 & assump1 -> int1: the Somalian is not two-piece but it is a kind of a mainland.; sent26 -> int2: that the Somalian is a kind of non-two-piece thing that is a mainland is wrong.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Somalian does not concern vicar-general.; sent22 -> int5: if the Somalian is not a monotony then it does reopen catalepsy and is autoplastic.; sent1 & sent16 & sent17 -> int6: the Somalian is not a monotony.; int5 & int6 -> int7: the Somalian reopens catalepsy and is autoplastic.; int7 -> int8: the Somalian reopens catalepsy.; int4 & int8 -> int9: the Somalian does not concern vicar-general but it does reopen catalepsy.; int9 & sent8 -> int10: the estrone does not concern Somalian.; int10 -> hypothesis;
the reciprocal is not a cynancum but it is pugilistic if it does reopen catalepsy.
sent4 -> hypothesis;
$hypothesis$ = the estrone does not concern Somalian and/or it alights. ; $context$ = sent1: either the Somalian is a undernourishment or it is a salability or both. sent2: the wardrobe does not concern vicar-general. sent3: the incendiary is both a pantheist and pugilistic. sent4: something is not a cynancum but pugilistic if it reopens catalepsy. sent5: that the Somalian is not a Hymen is not incorrect. sent6: the senna is a kind of a undernourishment and it is a salability if the beads does not flinch. sent7: that the incendiary is a counterespionage or does not compound or both does not hold if that it is a kind of a pantheist is right. sent8: the estrone does not concern Somalian if the Somalian does not concern vicar-general but it does reopen catalepsy. sent9: if the fact that the incendiary is a counterespionage and/or it is not a compound is false the beads does not flinch. sent10: if something is not a kind of a monotony it is autoplastic. sent11: that if the estrone is probabilistic the estrone is not autoplastic is not incorrect. sent12: if something does not concern vicar-general that it does not concern Somalian and/or does alight is incorrect. sent13: if the asparagus is not a monotony then the fact that the Somalian is autoplastic but it does not reopen catalepsy does not hold. sent14: the estrone is not a kind of a two-piece or it does concern Somalian or both. sent15: the Somalian is a kind of a monotony if it is a salability. sent16: if the fact that the Somalian is a undernourishment is not incorrect it is not a kind of a monotony. sent17: the Somalian is not a monotony if it is a salability. sent18: the fact that something is non-autoplastic thing that does reopen catalepsy is not correct if it is a monotony. sent19: if the lilac is a leisure it is not a undernourishment. sent20: if the estrone is two-piece it is not a barbecued. sent21: if the Somalian does concern vicar-general it is both not a two-piece and a mainland. sent22: something does reopen catalepsy and is autoplastic if it is not a monotony. sent23: the estrone is not a kind of a mainland. sent24: something is thyrotoxic and it reopens bromoform if it does not home. sent25: that the Somalian is two-piece and it is a mainland is wrong. sent26: there exists nothing such that it is not a two-piece and it is a mainland. sent27: the estrone does not concern Somalian if it is a two-piece. ; $proof$ = 
void -> assump1: Let's assume that the Somalian concerns vicar-general.; sent21 & assump1 -> int1: the Somalian is not two-piece but it is a kind of a mainland.; sent26 -> int2: that the Somalian is a kind of non-two-piece thing that is a mainland is wrong.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Somalian does not concern vicar-general.; sent22 -> int5: if the Somalian is not a monotony then it does reopen catalepsy and is autoplastic.; sent1 & sent16 & sent17 -> int6: the Somalian is not a monotony.; int5 & int6 -> int7: the Somalian reopens catalepsy and is autoplastic.; int7 -> int8: the Somalian reopens catalepsy.; int4 & int8 -> int9: the Somalian does not concern vicar-general but it does reopen catalepsy.; int9 & sent8 -> int10: the estrone does not concern Somalian.; int10 -> hypothesis; __PROVED__