there exists something such that if the fact that it is not mythic and does not reposit bluefish does not hold then it is not polyatomic.
sent1: if that something is a kind of non-polyatomic thing that is not a kind of a Saxon is wrong then it does not occidentalize mischance. sent2: if the fact that the corticosterone is a kind of non-mythic thing that does not reposit bluefish is not correct that it is not polyatomic hold. sent3: there is something such that if the fact that it does not occidentalize vicar does not hold it is not a kind of a changed.
sent2 -> hypothesis;
the kiss does not occidentalize mischance if the fact that it is not polyatomic and not a Saxon is not true.
sent1 -> hypothesis;
$hypothesis$ = there exists something such that if the fact that it is not mythic and does not reposit bluefish does not hold then it is not polyatomic. ; $context$ = sent1: if that something is a kind of non-polyatomic thing that is not a kind of a Saxon is wrong then it does not occidentalize mischance. sent2: if the fact that the corticosterone is a kind of non-mythic thing that does not reposit bluefish is not correct that it is not polyatomic hold. sent3: there is something such that if the fact that it does not occidentalize vicar does not hold it is not a kind of a changed. ; $proof$ = 
sent2 -> hypothesis; __PROVED__