the discard does not negotiate branch if the fact that the mexiletine is not neurotoxic and dissimilates does not hold.
sent1: the discard does negotiate branch. sent2: if that something is not capacitive and is not a seeing does not hold then it does not negotiate branch. sent3: the cam is capacitive if the horn tames. sent4: if the cam is capacitive that the discard is not capacitive and it is not a seeing does not hold. sent5: the fact that the horn is tame is not wrong if the fact that the fact that the mexiletine is not neurotoxic but it does dissimilate is not wrong is wrong.
void -> assump1: Let's assume that the fact that the mexiletine is not neurotoxic and does dissimilate is wrong.; sent5 & assump1 -> int1: the horn is not non-tame.; int1 & sent3 -> int2: the cam is capacitive.; int2 & sent4 -> int3: the fact that the discard is non-capacitive and it is not a kind of a seeing does not hold.; sent2 -> int4: the discard does not negotiate branch if that it is not capacitive and it is not a seeing is not correct.; int3 & int4 -> int5: the discard does not negotiate branch.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the discard does not negotiate branch if the fact that the mexiletine is not neurotoxic and dissimilates does not hold. ; $context$ = sent1: the discard does negotiate branch. sent2: if that something is not capacitive and is not a seeing does not hold then it does not negotiate branch. sent3: the cam is capacitive if the horn tames. sent4: if the cam is capacitive that the discard is not capacitive and it is not a seeing does not hold. sent5: the fact that the horn is tame is not wrong if the fact that the fact that the mexiletine is not neurotoxic but it does dissimilate is not wrong is wrong. ; $proof$ = 
void -> assump1: Let's assume that the fact that the mexiletine is not neurotoxic and does dissimilate is wrong.; sent5 & assump1 -> int1: the horn is not non-tame.; int1 & sent3 -> int2: the cam is capacitive.; int2 & sent4 -> int3: the fact that the discard is non-capacitive and it is not a kind of a seeing does not hold.; sent2 -> int4: the discard does not negotiate branch if that it is not capacitive and it is not a seeing is not correct.; int3 & int4 -> int5: the discard does not negotiate branch.; [assump1] & int5 -> hypothesis; __PROVED__