that the wallflower is not square is right.
sent1: the wallflower is a lioness. sent2: that if the abbey is a confabulation then the blackbuck is not Hertzian but it is a lioness is right. sent3: if the abbey is a confabulation then the blackbuck is a kind of a lioness. sent4: that the blackbuck is non-Hertzian and a lioness is not right if the fact that the viceroyalty beats sicklepod is not incorrect. sent5: there is something such that it is a defecation and/or it does beat sicklepod. sent6: if that the blackbuck is a confabulation but it is not a kind of a modiolus does not hold it is not a confabulation. sent7: the dallier does not beat sicklepod if the viceroyalty does not beat sicklepod. sent8: the blackbuck is a lioness. sent9: if something does not beat sicklepod then that it is a Cestum or square or both is false. sent10: if there is something such that that it is a defecation and/or does beat sicklepod is wrong the wallflower is a kind of a square. sent11: that that the dallier is a defecation and/or does beat sicklepod does not hold hold if the viceroyalty does not beat sicklepod. sent12: the abbey is a confabulation. sent13: the fact that the abbey is a lioness is not wrong.
void -> assump1: Let's assume that the viceroyalty beats sicklepod.; sent4 & assump1 -> int1: the fact that the blackbuck is not Hertzian and is a lioness is not right.; sent2 & sent12 -> int2: the blackbuck is not Hertzian but a lioness.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the viceroyalty does not beat sicklepod.; int4 & sent11 -> int5: that either the dallier is a defecation or it does beat sicklepod or both is not true.; int5 -> int6: there is something such that the fact that it is a defecation and/or it beats sicklepod is false.; int6 & sent10 -> hypothesis;
the wallflower is non-square.
$hypothesis$ = that the wallflower is not square is right. ; $context$ = sent1: the wallflower is a lioness. sent2: that if the abbey is a confabulation then the blackbuck is not Hertzian but it is a lioness is right. sent3: if the abbey is a confabulation then the blackbuck is a kind of a lioness. sent4: that the blackbuck is non-Hertzian and a lioness is not right if the fact that the viceroyalty beats sicklepod is not incorrect. sent5: there is something such that it is a defecation and/or it does beat sicklepod. sent6: if that the blackbuck is a confabulation but it is not a kind of a modiolus does not hold it is not a confabulation. sent7: the dallier does not beat sicklepod if the viceroyalty does not beat sicklepod. sent8: the blackbuck is a lioness. sent9: if something does not beat sicklepod then that it is a Cestum or square or both is false. sent10: if there is something such that that it is a defecation and/or does beat sicklepod is wrong the wallflower is a kind of a square. sent11: that that the dallier is a defecation and/or does beat sicklepod does not hold hold if the viceroyalty does not beat sicklepod. sent12: the abbey is a confabulation. sent13: the fact that the abbey is a lioness is not wrong. ; $proof$ = 
void -> assump1: Let's assume that the viceroyalty beats sicklepod.; sent4 & assump1 -> int1: the fact that the blackbuck is not Hertzian and is a lioness is not right.; sent2 & sent12 -> int2: the blackbuck is not Hertzian but a lioness.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the viceroyalty does not beat sicklepod.; int4 & sent11 -> int5: that either the dallier is a defecation or it does beat sicklepod or both is not true.; int5 -> int6: there is something such that the fact that it is a defecation and/or it beats sicklepod is false.; int6 & sent10 -> hypothesis; __DISPROVED__