the fact that there exists something such that if it is not a kind of a whoremaster that it is polymorphemic and restrains Antrozous is wrong does not hold.
sent1: that something is a national and it is corporeal is wrong if it does outstare phenylephrine. sent2: something that is not a whoremaster is polymorphemic thing that does restrain Antrozous. sent3: if the glipizide is a whoremaster then the fact that it is polymorphemic thing that restrains Antrozous is not correct. sent4: that the phenylephrine is polymorphemic and it is diffident is not right if it does not outstare Soave. sent5: there is something such that if it is not a whoremaster then it is polymorphemic and it restrains Antrozous. sent6: that if the glipizide does not restrain crib that the glipizide does remain and restrains Antrozous is right is not wrong. sent7: if the glipizide is not a whoremaster it is polymorphemic and it does restrain Antrozous. sent8: the fact that something is polymorphemic and it does restrain Antrozous does not hold if it is not a whoremaster. sent9: there is something such that if it is a forefront the fact that it does ache and it is unpronounceable is false.
sent8 -> int1: that the glipizide is polymorphemic and does restrain Antrozous is false if it is not a whoremaster.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is not a kind of a whoremaster that it is polymorphemic and restrains Antrozous is wrong does not hold. ; $context$ = sent1: that something is a national and it is corporeal is wrong if it does outstare phenylephrine. sent2: something that is not a whoremaster is polymorphemic thing that does restrain Antrozous. sent3: if the glipizide is a whoremaster then the fact that it is polymorphemic thing that restrains Antrozous is not correct. sent4: that the phenylephrine is polymorphemic and it is diffident is not right if it does not outstare Soave. sent5: there is something such that if it is not a whoremaster then it is polymorphemic and it restrains Antrozous. sent6: that if the glipizide does not restrain crib that the glipizide does remain and restrains Antrozous is right is not wrong. sent7: if the glipizide is not a whoremaster it is polymorphemic and it does restrain Antrozous. sent8: the fact that something is polymorphemic and it does restrain Antrozous does not hold if it is not a whoremaster. sent9: there is something such that if it is a forefront the fact that it does ache and it is unpronounceable is false. ; $proof$ = 
sent8 -> int1: that the glipizide is polymorphemic and does restrain Antrozous is false if it is not a whoremaster.; int1 -> hypothesis; __DISPROVED__