that the newswoman is branchy hold.
sent1: the cefoperazone is both not a tormentor and nonspecific. sent2: the cefoperazone is not nonspecific and is a powerbroker if it is a godmother. sent3: the backwater is a godmother. sent4: the waterer is not a godmother and does mold Areopagite if it is an activity. sent5: the waterer is not an activity and is nonspecific. sent6: that something is not a godmother and it is not a powerbroker is wrong if the fact that it does mold Areopagite is not false. sent7: that the waterer is not a helvella but nonspecific hold if it is a godmother. sent8: the omelet is not nonspecific. sent9: the cefoperazone is a powerbroker. sent10: the waterer does not mold solver. sent11: the waterer does not mold Areopagite if it is not a godmother. sent12: if that something is not a kind of a godmother and is not a powerbroker is not correct it is nonspecific. sent13: if something that is not a kind of a helvella is nonspecific then the cefoperazone is not a powerbroker. sent14: the newswoman is not a kind of an activity if there is something such that it is a powerbroker and it is nonspecific.
void -> assump1: Let's assume that the waterer is a godmother.; sent7 & assump1 -> int1: the waterer is not a helvella but nonspecific.; int1 -> int2: something is not a kind of a helvella and is nonspecific.; int2 & sent13 -> int3: the cefoperazone is not a powerbroker.; int3 & sent9 -> int4: this is contradiction.; [assump1] & int4 -> int5: the waterer is not a godmother.; int5 & sent11 -> int6: the waterer does not mold Areopagite.;
the cefoperazone is nonspecific.
sent12 -> int7: if that the cefoperazone is not a kind of a godmother and is not a powerbroker does not hold then it is nonspecific.; sent6 -> int8: the fact that the cefoperazone is not a kind of a godmother and is not a powerbroker does not hold if it molds Areopagite.;
$hypothesis$ = that the newswoman is branchy hold. ; $context$ = sent1: the cefoperazone is both not a tormentor and nonspecific. sent2: the cefoperazone is not nonspecific and is a powerbroker if it is a godmother. sent3: the backwater is a godmother. sent4: the waterer is not a godmother and does mold Areopagite if it is an activity. sent5: the waterer is not an activity and is nonspecific. sent6: that something is not a godmother and it is not a powerbroker is wrong if the fact that it does mold Areopagite is not false. sent7: that the waterer is not a helvella but nonspecific hold if it is a godmother. sent8: the omelet is not nonspecific. sent9: the cefoperazone is a powerbroker. sent10: the waterer does not mold solver. sent11: the waterer does not mold Areopagite if it is not a godmother. sent12: if that something is not a kind of a godmother and is not a powerbroker is not correct it is nonspecific. sent13: if something that is not a kind of a helvella is nonspecific then the cefoperazone is not a powerbroker. sent14: the newswoman is not a kind of an activity if there is something such that it is a powerbroker and it is nonspecific. ; $proof$ = 
void -> assump1: Let's assume that the waterer is a godmother.; sent7 & assump1 -> int1: the waterer is not a helvella but nonspecific.; int1 -> int2: something is not a kind of a helvella and is nonspecific.; int2 & sent13 -> int3: the cefoperazone is not a powerbroker.; int3 & sent9 -> int4: this is contradiction.; [assump1] & int4 -> int5: the waterer is not a godmother.; int5 & sent11 -> int6: the waterer does not mold Areopagite.; __UNKNOWN__