that there is something such that if that it is a NATO and it is not reverberant is not right then it is a kind of a Septobasidiaceae is not right.
sent1: there is something such that if the fact that it is both a Citroncirus and not bottomless does not hold then it is unregenerate. sent2: there exists something such that if the fact that it transships baya and it is a duplex is not true it is a kind of a jumper. sent3: there exists something such that if that it rehearses and it is a overanxiety is incorrect then it is a fast. sent4: the zenith is a Septobasidiaceae if the fact that it is a kind of a NATO and it is reverberant is false. sent5: there is something such that if the fact that it is rustless and it does not crab does not hold then the fact that that it is not helpful is not true is right. sent6: there exists something such that if it is not a kind of a NATO then it is a kind of a Septobasidiaceae. sent7: if that something is maxillary but it does not denationalize litigation is not true it is a lass. sent8: something is arboreal if the fact that it denationalizes mortar and it is polarographic is not true. sent9: if something is not a NATO it is a Septobasidiaceae. sent10: the fact that something is a kind of a Septobasidiaceae is true if it is a kind of a NATO and it is unreverberant. sent11: if that something is a NATO but it is not reverberant is incorrect it is a Septobasidiaceae. sent12: the zenith is a kind of a Septobasidiaceae if it is not a NATO. sent13: if the fact that something is an ecstasy that is a liter is not right it is a kind of a Gloucester. sent14: something is intertidal if that it is anatropous and it is impolitic is false. sent15: there is something such that if it is a NATO and it is not reverberant it is a Septobasidiaceae. sent16: there is something such that if the fact that it does transship Hipsurus and conscripts drogue is not true then it denationalizes candle. sent17: if the dope is forceful and is not a dictation it is a kind of a NATO.
sent11 -> int1: that the zenith is a Septobasidiaceae is correct if the fact that it is a NATO and it is not reverberant is incorrect.; int1 -> hypothesis;
$hypothesis$ = that there is something such that if that it is a NATO and it is not reverberant is not right then it is a kind of a Septobasidiaceae is not right. ; $context$ = sent1: there is something such that if the fact that it is both a Citroncirus and not bottomless does not hold then it is unregenerate. sent2: there exists something such that if the fact that it transships baya and it is a duplex is not true it is a kind of a jumper. sent3: there exists something such that if that it rehearses and it is a overanxiety is incorrect then it is a fast. sent4: the zenith is a Septobasidiaceae if the fact that it is a kind of a NATO and it is reverberant is false. sent5: there is something such that if the fact that it is rustless and it does not crab does not hold then the fact that that it is not helpful is not true is right. sent6: there exists something such that if it is not a kind of a NATO then it is a kind of a Septobasidiaceae. sent7: if that something is maxillary but it does not denationalize litigation is not true it is a lass. sent8: something is arboreal if the fact that it denationalizes mortar and it is polarographic is not true. sent9: if something is not a NATO it is a Septobasidiaceae. sent10: the fact that something is a kind of a Septobasidiaceae is true if it is a kind of a NATO and it is unreverberant. sent11: if that something is a NATO but it is not reverberant is incorrect it is a Septobasidiaceae. sent12: the zenith is a kind of a Septobasidiaceae if it is not a NATO. sent13: if the fact that something is an ecstasy that is a liter is not right it is a kind of a Gloucester. sent14: something is intertidal if that it is anatropous and it is impolitic is false. sent15: there is something such that if it is a NATO and it is not reverberant it is a Septobasidiaceae. sent16: there is something such that if the fact that it does transship Hipsurus and conscripts drogue is not true then it denationalizes candle. sent17: if the dope is forceful and is not a dictation it is a kind of a NATO. ; $proof$ = 
sent11 -> int1: that the zenith is a Septobasidiaceae is correct if the fact that it is a NATO and it is not reverberant is incorrect.; int1 -> hypothesis; __DISPROVED__