the bristlegrass is not fungoid.
sent1: if the bristlegrass is not a airbrake that it is a Umbundu and it tweezes bristlegrass is incorrect. sent2: the rival is not arthropodal. sent3: there exists something such that that it does company blur is right. sent4: something that does not crumble guvnor and is not fungoid is not Falstaffian. sent5: the fact that the begum is not a bestiary but it tweezes bristlegrass is not right. sent6: if there exists something such that the fact that it does not crumble guvnor is false the fact that the begum is not a Umbundu and does crumble rewarding is not true. sent7: that the twitterer does crumble guvnor if the bristlegrass is fungoid is correct. sent8: if the twitterer is not a airbrake and it is not arthropodal then the bristlegrass is not a airbrake. sent9: something does tweeze bristlegrass and is a airbrake if it is not arthropodal. sent10: there is something such that it is fungoid. sent11: something is invulnerable if the fact that it is not frequent is not wrong. sent12: there exists something such that it is not a kind of a Umbundu and crumbles rewarding. sent13: if there is something such that that it is not a Umbundu and crumbles rewarding does not hold then the rival does not tweeze bristlegrass. sent14: if the fact that there exists something such that the fact that it does crumble guvnor hold is correct that the begum is a kind of a Umbundu and does crumble rewarding is not true. sent15: that something does crumble guvnor and is fungoid hold if the fact that it does not crumble rewarding is not false.
void -> assump1: Let's assume that the bristlegrass is fungoid.; sent7 & assump1 -> int1: the twitterer does crumble guvnor.; int1 -> int2: something does crumble guvnor.; int2 & sent6 -> int3: that the begum is not a Umbundu and does crumble rewarding is not correct.; int3 -> int4: there exists something such that the fact that it is not a kind of a Umbundu and it crumbles rewarding does not hold.; int4 & sent13 -> int5: the rival does not tweeze bristlegrass.; sent9 -> int6: if the rival is non-arthropodal it does tweeze bristlegrass and it is a airbrake.; int6 & sent2 -> int7: the rival tweezes bristlegrass and it is a kind of a airbrake.; int7 -> int8: the rival does tweeze bristlegrass.; int5 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis;
the bristlegrass is fungoid.
sent15 -> int10: the bristlegrass does crumble guvnor and is fungoid if it does not crumble rewarding.;
$hypothesis$ = the bristlegrass is not fungoid. ; $context$ = sent1: if the bristlegrass is not a airbrake that it is a Umbundu and it tweezes bristlegrass is incorrect. sent2: the rival is not arthropodal. sent3: there exists something such that that it does company blur is right. sent4: something that does not crumble guvnor and is not fungoid is not Falstaffian. sent5: the fact that the begum is not a bestiary but it tweezes bristlegrass is not right. sent6: if there exists something such that the fact that it does not crumble guvnor is false the fact that the begum is not a Umbundu and does crumble rewarding is not true. sent7: that the twitterer does crumble guvnor if the bristlegrass is fungoid is correct. sent8: if the twitterer is not a airbrake and it is not arthropodal then the bristlegrass is not a airbrake. sent9: something does tweeze bristlegrass and is a airbrake if it is not arthropodal. sent10: there is something such that it is fungoid. sent11: something is invulnerable if the fact that it is not frequent is not wrong. sent12: there exists something such that it is not a kind of a Umbundu and crumbles rewarding. sent13: if there is something such that that it is not a Umbundu and crumbles rewarding does not hold then the rival does not tweeze bristlegrass. sent14: if the fact that there exists something such that the fact that it does crumble guvnor hold is correct that the begum is a kind of a Umbundu and does crumble rewarding is not true. sent15: that something does crumble guvnor and is fungoid hold if the fact that it does not crumble rewarding is not false. ; $proof$ = 
void -> assump1: Let's assume that the bristlegrass is fungoid.; sent7 & assump1 -> int1: the twitterer does crumble guvnor.; int1 -> int2: something does crumble guvnor.; int2 & sent6 -> int3: that the begum is not a Umbundu and does crumble rewarding is not correct.; int3 -> int4: there exists something such that the fact that it is not a kind of a Umbundu and it crumbles rewarding does not hold.; int4 & sent13 -> int5: the rival does not tweeze bristlegrass.; sent9 -> int6: if the rival is non-arthropodal it does tweeze bristlegrass and it is a airbrake.; int6 & sent2 -> int7: the rival tweezes bristlegrass and it is a kind of a airbrake.; int7 -> int8: the rival does tweeze bristlegrass.; int5 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis; __PROVED__