the liquidator is not a cut.
sent1: there exists something such that that it is a heterocyclic and it does decrepitate is wrong. sent2: the Pueblo is not a heterocyclic if there exists something such that that it is a kind of a heterocyclic that does not decrepitate is false. sent3: that the NADP is a heterocyclic but it does not decrepitate is false. sent4: if there exists something such that the fact that it is a relative is correct the Pueblo is a prowl. sent5: the Pueblo is a prowl if there exists something such that the fact that it is non-relative thing that is a Hidatsa is incorrect. sent6: the fact that the mariposa is not relative and is a Hidatsa is false if the liquidator is a kind of a cut. sent7: if there is something such that it is a kind of a cut then the fact that the liquidator is a public but it is not a denudation is false. sent8: the fact that the NADP is a kind of a heterocyclic and it decrepitates is not correct. sent9: there exists something such that that it is a relative and is a kind of a Hidatsa is not true. sent10: if something does not decrepitate it is a kind of a prowl and it is a kind of a heterocyclic. sent11: something that is a prowl is a heterocyclic. sent12: if that something is a kind of a prowl is true then the fact that it does cut is not wrong.
void -> assump1: Let's assume that the liquidator cuts.; sent6 & assump1 -> int1: that that the mariposa is a kind of non-relative thing that is a Hidatsa does not hold hold.; int1 -> int2: there is something such that the fact that it is both not a relative and a Hidatsa is incorrect.; int2 & sent5 -> int3: the Pueblo is a kind of a prowl.; sent11 -> int4: the Pueblo is a heterocyclic if it is a prowl.; int3 & int4 -> int5: the Pueblo is a heterocyclic.; sent3 -> int6: there exists something such that that it is a heterocyclic and it does not decrepitate is false.; int6 & sent2 -> int7: the Pueblo is not a heterocyclic.; int5 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis;
there is something such that the fact that it is a public and it is not a denudation is false.
sent12 -> int9: the mariposa does cut if that it is a prowl is true.; sent10 -> int10: the Pueblo prowls and it is a heterocyclic if the fact that it does not decrepitate is not incorrect.;
$hypothesis$ = the liquidator is not a cut. ; $context$ = sent1: there exists something such that that it is a heterocyclic and it does decrepitate is wrong. sent2: the Pueblo is not a heterocyclic if there exists something such that that it is a kind of a heterocyclic that does not decrepitate is false. sent3: that the NADP is a heterocyclic but it does not decrepitate is false. sent4: if there exists something such that the fact that it is a relative is correct the Pueblo is a prowl. sent5: the Pueblo is a prowl if there exists something such that the fact that it is non-relative thing that is a Hidatsa is incorrect. sent6: the fact that the mariposa is not relative and is a Hidatsa is false if the liquidator is a kind of a cut. sent7: if there is something such that it is a kind of a cut then the fact that the liquidator is a public but it is not a denudation is false. sent8: the fact that the NADP is a kind of a heterocyclic and it decrepitates is not correct. sent9: there exists something such that that it is a relative and is a kind of a Hidatsa is not true. sent10: if something does not decrepitate it is a kind of a prowl and it is a kind of a heterocyclic. sent11: something that is a prowl is a heterocyclic. sent12: if that something is a kind of a prowl is true then the fact that it does cut is not wrong. ; $proof$ = 
void -> assump1: Let's assume that the liquidator cuts.; sent6 & assump1 -> int1: that that the mariposa is a kind of non-relative thing that is a Hidatsa does not hold hold.; int1 -> int2: there is something such that the fact that it is both not a relative and a Hidatsa is incorrect.; int2 & sent5 -> int3: the Pueblo is a kind of a prowl.; sent11 -> int4: the Pueblo is a heterocyclic if it is a prowl.; int3 & int4 -> int5: the Pueblo is a heterocyclic.; sent3 -> int6: there exists something such that that it is a heterocyclic and it does not decrepitate is false.; int6 & sent2 -> int7: the Pueblo is not a heterocyclic.; int5 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis; __PROVED__