the fact that there exists something such that if it is not an articulation and it is bivariate then it is not a kind of a shmooze is not right.
sent1: if something is not an articulation but it is bivariate it is not a kind of a shmooze. sent2: there is something such that if it is both a Sudbury and intracellular it is not a simulation.
sent1 -> int1: if the filet is not an articulation but it is not non-bivariate then it is not a shmooze.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is not an articulation and it is bivariate then it is not a kind of a shmooze is not right. ; $context$ = sent1: if something is not an articulation but it is bivariate it is not a kind of a shmooze. sent2: there is something such that if it is both a Sudbury and intracellular it is not a simulation. ; $proof$ = 
sent1 -> int1: if the filet is not an articulation but it is not non-bivariate then it is not a shmooze.; int1 -> hypothesis; __DISPROVED__