that there is something such that if the fact that it is not a kind of a gam is correct then it is not permeable is not true.
sent1: the Guatemalan is not permeable if it is a kind of a gam. sent2: that the Guatemalan is not a kind of a willowware is correct if it is not a kind of a Assam. sent3: if the fact that the Guatemalan is not a kind of a gam hold it is not permeable. sent4: if the Guatemalan is basidial it is not a kind of a gam. sent5: the fact that something is not a kind of a gam hold if it is not an excavation. sent6: there exists something such that if the fact that it is not a concomitance is not false it is not scurfy. sent7: the gangster is a gam if it is not atypical. sent8: there exists something such that if it is not a gam then it is permeable. sent9: there is something such that if it is a procyclidine then it is not vestibular. sent10: that the Guatemalan is permeable is not incorrect if it is not mononuclear. sent11: if the Guatemalan is not a gam it does not variegate brain. sent12: if the Guatemalan is not permeable then it is a ladylove.
sent3 -> hypothesis;
the Cork is not a kind of a gam if it is not an excavation.
sent5 -> hypothesis;
$hypothesis$ = that there is something such that if the fact that it is not a kind of a gam is correct then it is not permeable is not true. ; $context$ = sent1: the Guatemalan is not permeable if it is a kind of a gam. sent2: that the Guatemalan is not a kind of a willowware is correct if it is not a kind of a Assam. sent3: if the fact that the Guatemalan is not a kind of a gam hold it is not permeable. sent4: if the Guatemalan is basidial it is not a kind of a gam. sent5: the fact that something is not a kind of a gam hold if it is not an excavation. sent6: there exists something such that if the fact that it is not a concomitance is not false it is not scurfy. sent7: the gangster is a gam if it is not atypical. sent8: there exists something such that if it is not a gam then it is permeable. sent9: there is something such that if it is a procyclidine then it is not vestibular. sent10: that the Guatemalan is permeable is not incorrect if it is not mononuclear. sent11: if the Guatemalan is not a gam it does not variegate brain. sent12: if the Guatemalan is not permeable then it is a ladylove. ; $proof$ = 
sent3 -> hypothesis; __DISPROVED__