the fact that the breeder shleps and it is a kind of a Muenster is not right.
sent1: the slattern does disabuse duck. sent2: the slattern does not disabuse duck if the fact that the placeman does not disabuse Purace and is not a mimeograph is not correct. sent3: The duck does disabuse slattern. sent4: the fact that the chloropicrin is a kind of a Muenster but it is not a mimeograph is incorrect. sent5: the chloropicrin is not a Muenster if the placeman does not disabuse Purace and it is not a mimeograph. sent6: the breeder shleps and it is a Muenster if the fact that the chloropicrin is not a kind of a Muenster hold.
void -> assump1: Let's assume that that the placeman does not disabuse Purace and it is not a kind of a mimeograph does not hold.; sent2 & assump1 -> int1: the slattern does not disabuse duck.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the placeman does not disabuse Purace and is not a mimeograph.; int3 & sent5 -> int4: the chloropicrin is not a Muenster.; int4 & sent6 -> hypothesis;
$hypothesis$ = the fact that the breeder shleps and it is a kind of a Muenster is not right. ; $context$ = sent1: the slattern does disabuse duck. sent2: the slattern does not disabuse duck if the fact that the placeman does not disabuse Purace and is not a mimeograph is not correct. sent3: The duck does disabuse slattern. sent4: the fact that the chloropicrin is a kind of a Muenster but it is not a mimeograph is incorrect. sent5: the chloropicrin is not a Muenster if the placeman does not disabuse Purace and it is not a mimeograph. sent6: the breeder shleps and it is a Muenster if the fact that the chloropicrin is not a kind of a Muenster hold. ; $proof$ = 
void -> assump1: Let's assume that that the placeman does not disabuse Purace and it is not a kind of a mimeograph does not hold.; sent2 & assump1 -> int1: the slattern does not disabuse duck.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the placeman does not disabuse Purace and is not a mimeograph.; int3 & sent5 -> int4: the chloropicrin is not a Muenster.; int4 & sent6 -> hypothesis; __DISPROVED__