the gentile does not occur but the prolongation occurs.
sent1: if the gentileness happens and the prolongation happens the baas happens. sent2: the fact that the balsamicness happens is not incorrect. sent3: the baas does not occur if the balsamicness happens. sent4: the baas occurs if the non-gentileness and the prolongation occurs.
void -> assump1: Let's assume that both the non-gentileness and the prolongation happens.; sent4 & assump1 -> int1: that the baas happens is true.; sent3 & sent2 -> int2: the baas does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the gentile does not occur but the prolongation occurs. ; $context$ = sent1: if the gentileness happens and the prolongation happens the baas happens. sent2: the fact that the balsamicness happens is not incorrect. sent3: the baas does not occur if the balsamicness happens. sent4: the baas occurs if the non-gentileness and the prolongation occurs. ; $proof$ = 
void -> assump1: Let's assume that both the non-gentileness and the prolongation happens.; sent4 & assump1 -> int1: that the baas happens is true.; sent3 & sent2 -> int2: the baas does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__