either the climber is not septic or it does not permeate or both.
sent1: the determinant is not uniovular if there is something such that the fact that it is uniovular and it is not a kind of a collusion is incorrect. sent2: if the madnep does not permeate then the strychnine is not a Bellarmine. sent3: if something is not uniovular then the determinant is not uniovular. sent4: if the strychnine does not permeate then the climber permeate. sent5: something is uniovular but it is not a kind of a collusion. sent6: the fact that the climber is not septic and/or it does not permeate is not right if the strychnine does not permeate. sent7: if the madnep does not tweak then the strychnine does not permeate. sent8: the fact that if the madnep does tweak the madnep is a kind of a Bellarmine is not incorrect. sent9: there exists something such that the fact that it is uniovular and is not a collusion is false. sent10: the determinant is uniovular if the madnep is a kind of a Bellarmine.
void -> assump1: Let's assume that that the madnep does tweak hold.; sent8 & assump1 -> int1: the madnep is a Bellarmine.; int1 & sent10 -> int2: the determinant is uniovular.; sent9 & sent1 -> int3: the determinant is not uniovular.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the madnep does not tweak.; int5 & sent7 -> int6: the strychnine does not permeate.; int6 & sent6 -> hypothesis;
$hypothesis$ = either the climber is not septic or it does not permeate or both. ; $context$ = sent1: the determinant is not uniovular if there is something such that the fact that it is uniovular and it is not a kind of a collusion is incorrect. sent2: if the madnep does not permeate then the strychnine is not a Bellarmine. sent3: if something is not uniovular then the determinant is not uniovular. sent4: if the strychnine does not permeate then the climber permeate. sent5: something is uniovular but it is not a kind of a collusion. sent6: the fact that the climber is not septic and/or it does not permeate is not right if the strychnine does not permeate. sent7: if the madnep does not tweak then the strychnine does not permeate. sent8: the fact that if the madnep does tweak the madnep is a kind of a Bellarmine is not incorrect. sent9: there exists something such that the fact that it is uniovular and is not a collusion is false. sent10: the determinant is uniovular if the madnep is a kind of a Bellarmine. ; $proof$ = 
void -> assump1: Let's assume that that the madnep does tweak hold.; sent8 & assump1 -> int1: the madnep is a Bellarmine.; int1 & sent10 -> int2: the determinant is uniovular.; sent9 & sent1 -> int3: the determinant is not uniovular.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the madnep does not tweak.; int5 & sent7 -> int6: the strychnine does not permeate.; int6 & sent6 -> hypothesis; __DISPROVED__