the menstruum is either Bermudan or not a Khowar or both.
sent1: the fact that something smashes and/or it is not a kind of a Salish is wrong if it is shrinkable. sent2: if something does consternate adumbration it is either not non-Bermudan or not a Khowar or both. sent3: if something consternates maximum that it is either a discount or not a bail or both is not correct. sent4: the fact that the ergosterol is a coordination is not false if the fact that the adumbration is a smash and/or is not a kind of a Salish is false. sent5: if something is a kind of a coordination the fact that it is a Bermudan and/or is not incommutable does not hold. sent6: the menstruum consternates adumbration if the ergosterol is a coordination. sent7: the adumbration is shrinkable and is incommutable. sent8: if something does not consternate adumbration then it is not shrinkable and it is not a coordination.
sent1 -> int1: that either the adumbration smashes or it is not a Salish or both does not hold if it is shrinkable.; sent7 -> int2: the adumbration is shrinkable.; int1 & int2 -> int3: that the fact that either the adumbration does smash or it is not a Salish or both does not hold hold.; int3 & sent4 -> int4: the ergosterol is a kind of a coordination.; int4 & sent6 -> int5: the menstruum consternates adumbration.; sent2 -> int6: the menstruum is Bermudan and/or it is not a kind of a Khowar if that it does consternate adumbration hold.; int5 & int6 -> hypothesis;
that the fact that the menstruum is Bermudan or not a Khowar or both is right is not right.
sent8 -> int7: the ergosterol is unshrinkable and it is not a coordination if it does not consternate adumbration.;
$hypothesis$ = the menstruum is either Bermudan or not a Khowar or both. ; $context$ = sent1: the fact that something smashes and/or it is not a kind of a Salish is wrong if it is shrinkable. sent2: if something does consternate adumbration it is either not non-Bermudan or not a Khowar or both. sent3: if something consternates maximum that it is either a discount or not a bail or both is not correct. sent4: the fact that the ergosterol is a coordination is not false if the fact that the adumbration is a smash and/or is not a kind of a Salish is false. sent5: if something is a kind of a coordination the fact that it is a Bermudan and/or is not incommutable does not hold. sent6: the menstruum consternates adumbration if the ergosterol is a coordination. sent7: the adumbration is shrinkable and is incommutable. sent8: if something does not consternate adumbration then it is not shrinkable and it is not a coordination. ; $proof$ = 
sent1 -> int1: that either the adumbration smashes or it is not a Salish or both does not hold if it is shrinkable.; sent7 -> int2: the adumbration is shrinkable.; int1 & int2 -> int3: that the fact that either the adumbration does smash or it is not a Salish or both does not hold hold.; int3 & sent4 -> int4: the ergosterol is a kind of a coordination.; int4 & sent6 -> int5: the menstruum consternates adumbration.; sent2 -> int6: the menstruum is Bermudan and/or it is not a kind of a Khowar if that it does consternate adumbration hold.; int5 & int6 -> hypothesis; __PROVED__