the weir is a matriarchy.
sent1: the city is a kind of a rake if the brill is a kind of a goner. sent2: the precursor is a kind of a Carolingian if the fact that the swallowtail is a baloney is not false. sent3: the city is not a rake if the precursor is Carolingian. sent4: the brill is a kind of a goner if something is not sigmoid and does not exalt swordtail. sent5: if something perceives delinquency it is a baloney. sent6: the fact that the precursor does not perceive delinquency hold. sent7: if the corchorus is not a kind of a heave then the weir is a kind of a matriarchy. sent8: there exists something such that it is a kind of non-sigmoid thing that does not exalt swordtail. sent9: the fact that the swallowtail does perceive delinquency is not incorrect if there exists something such that it is a heave.
void -> assump1: Let's assume that the corchorus does heave.; assump1 -> int1: there is something such that it is a heave.; int1 & sent9 -> int2: the swallowtail perceives delinquency.; sent5 -> int3: if the swallowtail does perceive delinquency then the fact that it is a kind of a baloney is not incorrect.; int2 & int3 -> int4: the swallowtail is a kind of a baloney.; int4 & sent2 -> int5: the precursor is a kind of a Carolingian.; int5 & sent3 -> int6: the city is not a rake.; sent8 & sent4 -> int7: the brill is a goner.; sent1 & int7 -> int8: the city rakes.; int6 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the fact that the corchorus is not a kind of a heave hold.; int10 & sent7 -> hypothesis;
$hypothesis$ = the weir is a matriarchy. ; $context$ = sent1: the city is a kind of a rake if the brill is a kind of a goner. sent2: the precursor is a kind of a Carolingian if the fact that the swallowtail is a baloney is not false. sent3: the city is not a rake if the precursor is Carolingian. sent4: the brill is a kind of a goner if something is not sigmoid and does not exalt swordtail. sent5: if something perceives delinquency it is a baloney. sent6: the fact that the precursor does not perceive delinquency hold. sent7: if the corchorus is not a kind of a heave then the weir is a kind of a matriarchy. sent8: there exists something such that it is a kind of non-sigmoid thing that does not exalt swordtail. sent9: the fact that the swallowtail does perceive delinquency is not incorrect if there exists something such that it is a heave. ; $proof$ = 
void -> assump1: Let's assume that the corchorus does heave.; assump1 -> int1: there is something such that it is a heave.; int1 & sent9 -> int2: the swallowtail perceives delinquency.; sent5 -> int3: if the swallowtail does perceive delinquency then the fact that it is a kind of a baloney is not incorrect.; int2 & int3 -> int4: the swallowtail is a kind of a baloney.; int4 & sent2 -> int5: the precursor is a kind of a Carolingian.; int5 & sent3 -> int6: the city is not a rake.; sent8 & sent4 -> int7: the brill is a goner.; sent1 & int7 -> int8: the city rakes.; int6 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the fact that the corchorus is not a kind of a heave hold.; int10 & sent7 -> hypothesis; __PROVED__