the garrison does pluck auditor.
sent1: that that the garrison does pluck auditor is right is not right if something is not whiting but a peat. sent2: there is something such that it is not promissory. sent3: if something is non-whiting and non-promissory then it plucks auditor. sent4: if there is something such that it is not promissory the auditor is not whiting but it is a peat.
sent2 & sent4 -> int1: the auditor is not a whiting but it is a kind of a peat.; int1 -> int2: there is something such that it is not a whiting and it is a peat.; int2 & sent1 -> hypothesis;
the garrison plucks auditor.
sent3 -> int3: if the garrison is not a kind of a whiting and it is not promissory then it plucks auditor.;
$hypothesis$ = the garrison does pluck auditor. ; $context$ = sent1: that that the garrison does pluck auditor is right is not right if something is not whiting but a peat. sent2: there is something such that it is not promissory. sent3: if something is non-whiting and non-promissory then it plucks auditor. sent4: if there is something such that it is not promissory the auditor is not whiting but it is a peat. ; $proof$ = 
sent2 & sent4 -> int1: the auditor is not a whiting but it is a kind of a peat.; int1 -> int2: there is something such that it is not a whiting and it is a peat.; int2 & sent1 -> hypothesis; __DISPROVED__