the fact that something trivializes unison and is a haddock does not hold.
sent1: something is not a Bangladesh. sent2: if the bayou is not a kind of a crouch then the parricide is a haddock. sent3: the rappee is vegetal if the bayou is a crouch. sent4: there exists something such that it is a haddock. sent5: the chalk trivializes unison. sent6: if there exists something such that it is not a Bangladesh then the rappee is not vegetal. sent7: if something is not a crouch then it is not a haddock. sent8: there exists something such that it is a Bangladesh. sent9: the parricide trivializes unison and it is a haddock if the bayou is not a crouch.
void -> assump1: Let's assume that the bayou is a kind of a crouch.; sent3 & assump1 -> int1: the rappee is vegetal.; sent1 & sent6 -> int2: the rappee is not vegetal.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the bayou is not a crouch.; int4 & sent9 -> int5: the parricide trivializes unison and is a haddock.; int5 -> hypothesis;
that the tuckahoe is a haddock does not hold.
sent7 -> int6: if the tuckahoe is not a crouch it is not a kind of a haddock.;
$hypothesis$ = the fact that something trivializes unison and is a haddock does not hold. ; $context$ = sent1: something is not a Bangladesh. sent2: if the bayou is not a kind of a crouch then the parricide is a haddock. sent3: the rappee is vegetal if the bayou is a crouch. sent4: there exists something such that it is a haddock. sent5: the chalk trivializes unison. sent6: if there exists something such that it is not a Bangladesh then the rappee is not vegetal. sent7: if something is not a crouch then it is not a haddock. sent8: there exists something such that it is a Bangladesh. sent9: the parricide trivializes unison and it is a haddock if the bayou is not a crouch. ; $proof$ = 
void -> assump1: Let's assume that the bayou is a kind of a crouch.; sent3 & assump1 -> int1: the rappee is vegetal.; sent1 & sent6 -> int2: the rappee is not vegetal.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the bayou is not a crouch.; int4 & sent9 -> int5: the parricide trivializes unison and is a haddock.; int5 -> hypothesis; __DISPROVED__