there is something such that if it is not a piedmont then it is both not airworthy and not non-valedictory.
sent1: the cowberry either is a kind of a Reichstein or is electromagnetic or both. sent2: something does bethink boating if that either it does not bethink sirenian or it is a Transfiguration or both does not hold. sent3: the cowberry is not a Reichstein and/or it is electromagnetic if it is not a piedmont. sent4: the cowberry is not a sharp. sent5: if the cowberry is a piedmont then it does not capitalize parhelion and/or is uncontroversial. sent6: if the rheum is not unairworthy then it is either not a technophobia or theocratic or both. sent7: something that is either not a Reichstein or electromagnetic or both is unairworthy. sent8: there exists nothing such that it is not a biter and/or it is a Transfiguration. sent9: if something is not a kind of a technophobia and/or quests it is a West-sider. sent10: if the fact that something is not a biter and/or is a Transfiguration is wrong then that it is valedictory is right.
void -> assump1: Let's assume that the cowberry is not a piedmont.; sent3 & assump1 -> int1: the cowberry is not a Reichstein and/or it is electromagnetic.; sent7 -> int2: the cowberry is unairworthy if it is not a Reichstein or it is electromagnetic or both.; int1 & int2 -> int3: the cowberry is unairworthy.; sent10 -> int4: the cowberry is valedictory if that it is not a biter or is a Transfiguration or both is not correct.; sent8 -> int5: that the cowberry is not a biter and/or is a Transfiguration is not true.; int4 & int5 -> int6: the cowberry is valedictory.; int3 & int6 -> int7: the cowberry is both unairworthy and valedictory.; [assump1] & int7 -> int8: if the cowberry is not a piedmont it is unairworthy and is valedictory.; int8 -> hypothesis;
if that the hopper does not bethink sirenian or it is a Transfiguration or both does not hold it bethinks boating.
sent2 -> hypothesis;
$hypothesis$ = there is something such that if it is not a piedmont then it is both not airworthy and not non-valedictory. ; $context$ = sent1: the cowberry either is a kind of a Reichstein or is electromagnetic or both. sent2: something does bethink boating if that either it does not bethink sirenian or it is a Transfiguration or both does not hold. sent3: the cowberry is not a Reichstein and/or it is electromagnetic if it is not a piedmont. sent4: the cowberry is not a sharp. sent5: if the cowberry is a piedmont then it does not capitalize parhelion and/or is uncontroversial. sent6: if the rheum is not unairworthy then it is either not a technophobia or theocratic or both. sent7: something that is either not a Reichstein or electromagnetic or both is unairworthy. sent8: there exists nothing such that it is not a biter and/or it is a Transfiguration. sent9: if something is not a kind of a technophobia and/or quests it is a West-sider. sent10: if the fact that something is not a biter and/or is a Transfiguration is wrong then that it is valedictory is right. ; $proof$ = 
void -> assump1: Let's assume that the cowberry is not a piedmont.; sent3 & assump1 -> int1: the cowberry is not a Reichstein and/or it is electromagnetic.; sent7 -> int2: the cowberry is unairworthy if it is not a Reichstein or it is electromagnetic or both.; int1 & int2 -> int3: the cowberry is unairworthy.; sent10 -> int4: the cowberry is valedictory if that it is not a biter or is a Transfiguration or both is not correct.; sent8 -> int5: that the cowberry is not a biter and/or is a Transfiguration is not true.; int4 & int5 -> int6: the cowberry is valedictory.; int3 & int6 -> int7: the cowberry is both unairworthy and valedictory.; [assump1] & int7 -> int8: if the cowberry is not a piedmont it is unairworthy and is valedictory.; int8 -> hypothesis; __PROVED__