the fact that the fact that the anovulation is not a siege and it does not ask pentagon is not wrong is not correct.
sent1: the anovulation is not a kind of a brawl. sent2: the executrix is a axolemma and a promising if the quasar is not planetary. sent3: if the executrix does promise then that the anovulation is not a kind of a siege and is not a axolemma is wrong. sent4: if the quasar is a siege then the fact that the executrix is not planetary but it is a promising is false. sent5: if there is something such that that it does casket centare and does not scavenge does not hold then the quasar is not planetary. sent6: that the anovulation is not a kind of a siege and it does not ask pentagon does not hold if the pericarp is a mistranslation. sent7: the quasar is not a kind of a hornblende if there exists something such that it is not a plaque. sent8: there is something such that that it caskets centare and does not scavenge is incorrect. sent9: if the fact that something is not a kind of a mistranslation hold it is not a siege and does not ask pentagon. sent10: the napa is not a siege if the executrix is both not a axolemma and not a siege. sent11: the fact that the anovulation asks pentagon and is not a brawl is false. sent12: there exists something such that it is a kind of a promising and it does not brawl. sent13: if the pericarp is not a brawl the executrix is not a kind of a axolemma. sent14: that the anovulation asks pentagon but it is not a kind of a axolemma is wrong. sent15: that the fact that the pericarp brawls but it is not a kind of a promising is false is correct. sent16: if the anovulation asks pentagon then the fact that the quasar is planetary but it is not a siege does not hold. sent17: the executrix is not a axolemma if the fact that the pericarp is a brawl and not a unworthiness is false. sent18: the fact that something is a kind of a brawl that is not a unworthiness is wrong if it is not a mistranslation. sent19: that the quasar is planetary and is not a promising is not right.
sent18 -> int1: if the pericarp is not a mistranslation the fact that it is a brawl and it is not a unworthiness is not true.; void -> assump1: Let's assume that the pericarp is not a kind of a mistranslation.; int1 & assump1 -> int2: that the pericarp does brawl but it is not a unworthiness is false.; int2 & sent17 -> int3: the executrix is not a axolemma.; sent8 & sent5 -> int4: the quasar is non-planetary.; sent2 & int4 -> int5: the executrix is both a axolemma and a promising.; int5 -> int6: the executrix is a axolemma.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the pericarp is a mistranslation.; int8 & sent6 -> hypothesis;
the napa is not a kind of a siege.
$hypothesis$ = the fact that the fact that the anovulation is not a siege and it does not ask pentagon is not wrong is not correct. ; $context$ = sent1: the anovulation is not a kind of a brawl. sent2: the executrix is a axolemma and a promising if the quasar is not planetary. sent3: if the executrix does promise then that the anovulation is not a kind of a siege and is not a axolemma is wrong. sent4: if the quasar is a siege then the fact that the executrix is not planetary but it is a promising is false. sent5: if there is something such that that it does casket centare and does not scavenge does not hold then the quasar is not planetary. sent6: that the anovulation is not a kind of a siege and it does not ask pentagon does not hold if the pericarp is a mistranslation. sent7: the quasar is not a kind of a hornblende if there exists something such that it is not a plaque. sent8: there is something such that that it caskets centare and does not scavenge is incorrect. sent9: if the fact that something is not a kind of a mistranslation hold it is not a siege and does not ask pentagon. sent10: the napa is not a siege if the executrix is both not a axolemma and not a siege. sent11: the fact that the anovulation asks pentagon and is not a brawl is false. sent12: there exists something such that it is a kind of a promising and it does not brawl. sent13: if the pericarp is not a brawl the executrix is not a kind of a axolemma. sent14: that the anovulation asks pentagon but it is not a kind of a axolemma is wrong. sent15: that the fact that the pericarp brawls but it is not a kind of a promising is false is correct. sent16: if the anovulation asks pentagon then the fact that the quasar is planetary but it is not a siege does not hold. sent17: the executrix is not a axolemma if the fact that the pericarp is a brawl and not a unworthiness is false. sent18: the fact that something is a kind of a brawl that is not a unworthiness is wrong if it is not a mistranslation. sent19: that the quasar is planetary and is not a promising is not right. ; $proof$ = 
sent18 -> int1: if the pericarp is not a mistranslation the fact that it is a brawl and it is not a unworthiness is not true.; void -> assump1: Let's assume that the pericarp is not a kind of a mistranslation.; int1 & assump1 -> int2: that the pericarp does brawl but it is not a unworthiness is false.; int2 & sent17 -> int3: the executrix is not a axolemma.; sent8 & sent5 -> int4: the quasar is non-planetary.; sent2 & int4 -> int5: the executrix is both a axolemma and a promising.; int5 -> int6: the executrix is a axolemma.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the pericarp is a mistranslation.; int8 & sent6 -> hypothesis; __PROVED__