the fact that there is something such that it is a gramicidin that does not desecrate liveryman is incorrect.
sent1: there exists something such that it does not debar Klondike. sent2: the nutrient is a gramicidin. sent3: That the liveryman does not desecrate nutrient is not wrong. sent4: that the nutrient does not desecrate liveryman is not wrong.
sent2 & sent4 -> int1: the nutrient is a gramicidin that does not desecrate liveryman.; int1 -> hypothesis;
$hypothesis$ = the fact that there is something such that it is a gramicidin that does not desecrate liveryman is incorrect. ; $context$ = sent1: there exists something such that it does not debar Klondike. sent2: the nutrient is a gramicidin. sent3: That the liveryman does not desecrate nutrient is not wrong. sent4: that the nutrient does not desecrate liveryman is not wrong. ; $proof$ = 
sent2 & sent4 -> int1: the nutrient is a gramicidin that does not desecrate liveryman.; int1 -> hypothesis; __DISPROVED__