the fact that if the trawler is a kind of a dry then the suzerainty is a kind of a weeknight is not true.
sent1: if that that either the almandite is not a kind of a Galilean or it is a weeknight or both is right does not hold the interpreter is not a weeknight. sent2: the suzerainty is a kind of a weeknight if there is something such that it is dry and/or arborical. sent3: if something is a kind of a weeknight and/or it is arborical then the trawler is dry. sent4: there is something such that it is telephonic and/or it is a kind of a provincialism. sent5: the trawler is a kind of a weeknight if something is a dry or arborical or both. sent6: the suzerainty is not arborical and is not a kind of a dry if the interpreter is not a weeknight. sent7: the suzerainty is a weeknight if there are arborical things. sent8: there exists something such that it is a dry.
void -> assump1: Let's assume that the trawler is dry.; assump1 -> int1: either the trawler is a dry or it is arborical or both.; int1 -> int2: there is something such that either it is a dry or it is arborical or both.; int2 & sent2 -> int3: the suzerainty is a weeknight.; [assump1] & int3 -> hypothesis;
there exists something such that it is a rap and/or it is a rheology.
$hypothesis$ = the fact that if the trawler is a kind of a dry then the suzerainty is a kind of a weeknight is not true. ; $context$ = sent1: if that that either the almandite is not a kind of a Galilean or it is a weeknight or both is right does not hold the interpreter is not a weeknight. sent2: the suzerainty is a kind of a weeknight if there is something such that it is dry and/or arborical. sent3: if something is a kind of a weeknight and/or it is arborical then the trawler is dry. sent4: there is something such that it is telephonic and/or it is a kind of a provincialism. sent5: the trawler is a kind of a weeknight if something is a dry or arborical or both. sent6: the suzerainty is not arborical and is not a kind of a dry if the interpreter is not a weeknight. sent7: the suzerainty is a weeknight if there are arborical things. sent8: there exists something such that it is a dry. ; $proof$ = 
void -> assump1: Let's assume that the trawler is dry.; assump1 -> int1: either the trawler is a dry or it is arborical or both.; int1 -> int2: there is something such that either it is a dry or it is arborical or both.; int2 & sent2 -> int3: the suzerainty is a weeknight.; [assump1] & int3 -> hypothesis; __DISPROVED__