the redbrush is offshore.
sent1: if the redbrush is not offshore the pesticide does not pirouette. sent2: the fact that the fact that the diastema does not thrill Phalangium but it is coreferential is not wrong does not hold. sent3: the brodiaea is not logical if the fact that it is both logical and not pneumogastric does not hold. sent4: the fact that the diastema does not thrill Phalangium and it is non-coreferential is not correct if the updraft is unable. sent5: if the redbrush is not offshore the pesticide is not a pirouette and is not a yardman. sent6: if something is logical then it is coreferential and does not thrill Phalangium. sent7: if that the pesticide is offshore and/or it is unable is incorrect the redbrush is not offshore. sent8: something is pneumogastric if that it either does not contort duff or is a exotoxin or both is false. sent9: the pesticide does not pirouette. sent10: the updraft is logical if the diastema is pneumogastric. sent11: the fact that the diastema thrills Phalangium but it is not coreferential is wrong. sent12: if the updraft does not thrill Phalangium the fact that either the pesticide is offshore or it is unable or both is wrong. sent13: if the pesticide is not a yardman the updraft is unable. sent14: the brodiaea is logical if that the diastema does not thrill Phalangium and it is not coreferential is false. sent15: that the brodiaea is logical and is not pneumogastric is not right.
void -> assump1: Let's assume that the redbrush is not offshore.; sent5 & assump1 -> int1: the pesticide is not a pirouette and is not a yardman.; int1 -> int2: the pesticide is not a yardman.; int2 & sent13 -> int3: the updraft is unable.; int3 & sent4 -> int4: the fact that the diastema does not thrill Phalangium and is not coreferential is wrong.; int4 & sent14 -> int5: the brodiaea is logical.; sent3 & sent15 -> int6: the brodiaea is not logical.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the redbrush is not offshore.
sent6 -> int8: if the updraft is logical it is a kind of coreferential thing that does not thrill Phalangium.; sent8 -> int9: the diastema is pneumogastric if that either it does not contort duff or it is a exotoxin or both is incorrect.;
$hypothesis$ = the redbrush is offshore. ; $context$ = sent1: if the redbrush is not offshore the pesticide does not pirouette. sent2: the fact that the fact that the diastema does not thrill Phalangium but it is coreferential is not wrong does not hold. sent3: the brodiaea is not logical if the fact that it is both logical and not pneumogastric does not hold. sent4: the fact that the diastema does not thrill Phalangium and it is non-coreferential is not correct if the updraft is unable. sent5: if the redbrush is not offshore the pesticide is not a pirouette and is not a yardman. sent6: if something is logical then it is coreferential and does not thrill Phalangium. sent7: if that the pesticide is offshore and/or it is unable is incorrect the redbrush is not offshore. sent8: something is pneumogastric if that it either does not contort duff or is a exotoxin or both is false. sent9: the pesticide does not pirouette. sent10: the updraft is logical if the diastema is pneumogastric. sent11: the fact that the diastema thrills Phalangium but it is not coreferential is wrong. sent12: if the updraft does not thrill Phalangium the fact that either the pesticide is offshore or it is unable or both is wrong. sent13: if the pesticide is not a yardman the updraft is unable. sent14: the brodiaea is logical if that the diastema does not thrill Phalangium and it is not coreferential is false. sent15: that the brodiaea is logical and is not pneumogastric is not right. ; $proof$ = 
void -> assump1: Let's assume that the redbrush is not offshore.; sent5 & assump1 -> int1: the pesticide is not a pirouette and is not a yardman.; int1 -> int2: the pesticide is not a yardman.; int2 & sent13 -> int3: the updraft is unable.; int3 & sent4 -> int4: the fact that the diastema does not thrill Phalangium and is not coreferential is wrong.; int4 & sent14 -> int5: the brodiaea is logical.; sent3 & sent15 -> int6: the brodiaea is not logical.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __PROVED__