the Mace is not a Polycirrus.
sent1: if the Mace is a Pipilo and a Laredo the composition is not a Pipilo. sent2: that the Mace is a Polycirrus is right if the gambler is not a Polycirrus but a Pipilo. sent3: the fact that the Mace does remodel ordinance and is not a Pipilo is wrong. sent4: there exists something such that it is not a kind of a guide. sent5: the Mace is not a Pipilo if that it is a kind of a Polycirrus is not incorrect. sent6: the fact that that the Mace is both a rush and a gametoecium is not incorrect is incorrect if it is not prolix. sent7: there exists something such that that it is a kind of non-relative thing that is a Laredo is false. sent8: the Mace is a gametoecium that is not a hardball. sent9: that something is a gametoecium but it is not a hardball is wrong if it is not a kind of a Pipilo. sent10: the reactant is not a Pipilo. sent11: the tensor is not a Laredo if there exists something such that that it is a kind of non-relative thing that is a kind of a Laredo is incorrect.
void -> assump1: Let's assume that the Mace is a Polycirrus.; sent5 & assump1 -> int1: that the Mace is not a Pipilo is true.; sent9 -> int2: if the Mace is not a Pipilo the fact that it is a gametoecium and it is not a hardball does not hold.; int1 & int2 -> int3: the fact that the Mace is a gametoecium but it is not a hardball is not right.; int3 & sent8 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis;
the composition is not a hardball.
$hypothesis$ = the Mace is not a Polycirrus. ; $context$ = sent1: if the Mace is a Pipilo and a Laredo the composition is not a Pipilo. sent2: that the Mace is a Polycirrus is right if the gambler is not a Polycirrus but a Pipilo. sent3: the fact that the Mace does remodel ordinance and is not a Pipilo is wrong. sent4: there exists something such that it is not a kind of a guide. sent5: the Mace is not a Pipilo if that it is a kind of a Polycirrus is not incorrect. sent6: the fact that that the Mace is both a rush and a gametoecium is not incorrect is incorrect if it is not prolix. sent7: there exists something such that that it is a kind of non-relative thing that is a Laredo is false. sent8: the Mace is a gametoecium that is not a hardball. sent9: that something is a gametoecium but it is not a hardball is wrong if it is not a kind of a Pipilo. sent10: the reactant is not a Pipilo. sent11: the tensor is not a Laredo if there exists something such that that it is a kind of non-relative thing that is a kind of a Laredo is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the Mace is a Polycirrus.; sent5 & assump1 -> int1: that the Mace is not a Pipilo is true.; sent9 -> int2: if the Mace is not a Pipilo the fact that it is a gametoecium and it is not a hardball does not hold.; int1 & int2 -> int3: the fact that the Mace is a gametoecium but it is not a hardball is not right.; int3 & sent8 -> int4: this is contradiction.; [assump1] & int4 -> hypothesis; __PROVED__