the sheikdom tinctures postulator.
sent1: if the prick is not a slur the cutter is not a slur. sent2: the polymerase redecorates Joseph if the sheikdom does redecorates Joseph. sent3: the postulator does redecorate Joseph. sent4: something is a slur if it is a KGB. sent5: if that something does tincture postulator and is not a KGB does not hold then it does not tincture postulator. sent6: the sheikdom tinctures postulator if the polymerase is a kind of a necker. sent7: if the postulator is a kind of a KGB then the fact that the fink does not relapse and slurs is wrong. sent8: if the fink is a kind of a slur the postulator is a kind of a locative. sent9: if the polymerase redecorates Joseph then the postulator is not a necker but it tinctures postulator. sent10: if the fact that the prick does relapse is not wrong the polymerase is a necker. sent11: The Joseph does redecorate postulator. sent12: that the fink is a KGB hold if the prick does not relapse. sent13: if something is not a necker it is a kind of a KGB and it is a locative.
void -> assump1: Let's assume that the prick does not relapse.; sent12 & assump1 -> int1: the fink is a kind of a KGB.; sent4 -> int2: the fink is a kind of a slur if it is a KGB.; int1 & int2 -> int3: the fink slurs.; int3 & sent8 -> int4: the fact that the postulator is a locative is not wrong.; sent3 -> int5: either the postulator does redecorate Joseph or it does defile or both.;
the sheikdom does not tincture postulator.
sent5 -> int6: that the sheikdom does not tincture postulator hold if the fact that it tincture postulator and it is not a KGB is not correct.;
$hypothesis$ = the sheikdom tinctures postulator. ; $context$ = sent1: if the prick is not a slur the cutter is not a slur. sent2: the polymerase redecorates Joseph if the sheikdom does redecorates Joseph. sent3: the postulator does redecorate Joseph. sent4: something is a slur if it is a KGB. sent5: if that something does tincture postulator and is not a KGB does not hold then it does not tincture postulator. sent6: the sheikdom tinctures postulator if the polymerase is a kind of a necker. sent7: if the postulator is a kind of a KGB then the fact that the fink does not relapse and slurs is wrong. sent8: if the fink is a kind of a slur the postulator is a kind of a locative. sent9: if the polymerase redecorates Joseph then the postulator is not a necker but it tinctures postulator. sent10: if the fact that the prick does relapse is not wrong the polymerase is a necker. sent11: The Joseph does redecorate postulator. sent12: that the fink is a KGB hold if the prick does not relapse. sent13: if something is not a necker it is a kind of a KGB and it is a locative. ; $proof$ = 
void -> assump1: Let's assume that the prick does not relapse.; sent12 & assump1 -> int1: the fink is a kind of a KGB.; sent4 -> int2: the fink is a kind of a slur if it is a KGB.; int1 & int2 -> int3: the fink slurs.; int3 & sent8 -> int4: the fact that the postulator is a locative is not wrong.; sent3 -> int5: either the postulator does redecorate Joseph or it does defile or both.; __UNKNOWN__