the fact that the fact that the threat is not staphylococcal and does not count crest is not incorrect does not hold.
sent1: the gabapentin does grade Rosmarinus if the citronwood counts crest. sent2: if something does not grade Rosmarinus then it is not staphylococcal and it does not count crest. sent3: the apposition is porcine. sent4: that the threat is not staphylococcal and does not count crest does not hold if the citronwood does not count crest. sent5: the tent-fly is credulous thing that does not grade Rosmarinus if the gabapentin does grade Rosmarinus. sent6: if that the apposition is porcine is right then the fact that the tent-fly is credulous thing that does not grade Rosmarinus is not correct.
void -> assump1: Let's assume that the citronwood does count crest.; sent1 & assump1 -> int1: the gabapentin does grade Rosmarinus.; int1 & sent5 -> int2: the tent-fly is credulous thing that does not grade Rosmarinus.; sent6 & sent3 -> int3: that the tent-fly is not incredulous but it does not grade Rosmarinus does not hold.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the citronwood does not count crest.; int5 & sent4 -> hypothesis;
the threat is not staphylococcal and it does not count crest.
sent2 -> int6: the threat is not staphylococcal and it does not count crest if the fact that it does not grade Rosmarinus is true.;
$hypothesis$ = the fact that the fact that the threat is not staphylococcal and does not count crest is not incorrect does not hold. ; $context$ = sent1: the gabapentin does grade Rosmarinus if the citronwood counts crest. sent2: if something does not grade Rosmarinus then it is not staphylococcal and it does not count crest. sent3: the apposition is porcine. sent4: that the threat is not staphylococcal and does not count crest does not hold if the citronwood does not count crest. sent5: the tent-fly is credulous thing that does not grade Rosmarinus if the gabapentin does grade Rosmarinus. sent6: if that the apposition is porcine is right then the fact that the tent-fly is credulous thing that does not grade Rosmarinus is not correct. ; $proof$ = 
void -> assump1: Let's assume that the citronwood does count crest.; sent1 & assump1 -> int1: the gabapentin does grade Rosmarinus.; int1 & sent5 -> int2: the tent-fly is credulous thing that does not grade Rosmarinus.; sent6 & sent3 -> int3: that the tent-fly is not incredulous but it does not grade Rosmarinus does not hold.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the citronwood does not count crest.; int5 & sent4 -> hypothesis; __PROVED__