the anther is not democratic.
sent1: if something does not reimburse GOP then it is not a peavey and it is a stonecress. sent2: if something either is an involvement or does not reimburse Watertown or both it does not reimburse GOP. sent3: if something is not a kind of a peavey but it is a stonecress it is not a kind of a baseball. sent4: the GHB is not a baseball. sent5: that the anther does not destain Watertown and does graft does not hold. sent6: something that is not a kind of a baseball and is not a graft is not democratic. sent7: if the fact that the anther does not destain Watertown and is a graft does not hold it is not a graft. sent8: that the anther is an involvement is not wrong.
sent8 -> int1: the anther is an involvement and/or it does not reimburse Watertown.; sent2 -> int2: if the anther is an involvement or does not reimburse Watertown or both it does not reimburse GOP.; int1 & int2 -> int3: the anther does not reimburse GOP.; sent1 -> int4: if the anther does not reimburse GOP then it is not a peavey and it is a stonecress.; int3 & int4 -> int5: the anther is not a kind of a peavey and is a stonecress.; sent3 -> int6: the anther is not a kind of a baseball if it is not a peavey but a stonecress.; int5 & int6 -> int7: the anther is not a baseball.; sent7 & sent5 -> int8: the anther is not a graft.; int7 & int8 -> int9: the anther is not a baseball and it is not a kind of a graft.; sent6 -> int10: the anther is not democratic if it is both not a baseball and not a graft.; int9 & int10 -> hypothesis;
$hypothesis$ = the anther is not democratic. ; $context$ = sent1: if something does not reimburse GOP then it is not a peavey and it is a stonecress. sent2: if something either is an involvement or does not reimburse Watertown or both it does not reimburse GOP. sent3: if something is not a kind of a peavey but it is a stonecress it is not a kind of a baseball. sent4: the GHB is not a baseball. sent5: that the anther does not destain Watertown and does graft does not hold. sent6: something that is not a kind of a baseball and is not a graft is not democratic. sent7: if the fact that the anther does not destain Watertown and is a graft does not hold it is not a graft. sent8: that the anther is an involvement is not wrong. ; $proof$ = 
sent8 -> int1: the anther is an involvement and/or it does not reimburse Watertown.; sent2 -> int2: if the anther is an involvement or does not reimburse Watertown or both it does not reimburse GOP.; int1 & int2 -> int3: the anther does not reimburse GOP.; sent1 -> int4: if the anther does not reimburse GOP then it is not a peavey and it is a stonecress.; int3 & int4 -> int5: the anther is not a kind of a peavey and is a stonecress.; sent3 -> int6: the anther is not a kind of a baseball if it is not a peavey but a stonecress.; int5 & int6 -> int7: the anther is not a baseball.; sent7 & sent5 -> int8: the anther is not a graft.; int7 & int8 -> int9: the anther is not a baseball and it is not a kind of a graft.; sent6 -> int10: the anther is not democratic if it is both not a baseball and not a graft.; int9 & int10 -> hypothesis; __PROVED__