the fact that there is something such that if the fact that it is a kind of a generic is not false the fact that it is both a bluing and not a coot is not true is not correct.
sent1: if something is pentecostal the fact that it correlates Ladyship and is not a moloch does not hold. sent2: that something is a bluing but it is not a coot is false if it is a generic. sent3: that something does blue and it is a kind of a coot is not right if it is a generic. sent4: the fact that the man-of-the-earth is a bluing and a coot is not right if it is a generic. sent5: the fact that the fact that the man-of-the-earth is a kind of a bluing that is an equine is correct is incorrect if it is a milk-vetch. sent6: the scoutmaster swaps Pacific and is not a sneezer if it is a coot. sent7: the man-of-the-earth is caecilian but it is not unperceptive if it does swap dissolution. sent8: if something is a generic it is a bluing but not a coot. sent9: something is both a sneezer and not metrological if it is Rhodesian. sent10: there is something such that if it is a generic then that it blues and is a kind of a coot is not right. sent11: if the quaffer swaps Pacific then the fact that it does pity scoutmaster and it is not Handelian is false. sent12: there exists something such that if it is a generic then it blues and it is not a kind of a coot. sent13: if the man-of-the-earth is a generic it is a bluing and it is not a coot.
sent2 -> int1: the fact that the man-of-the-earth is a bluing and is not a coot does not hold if it is a generic.; int1 -> hypothesis;
$hypothesis$ = the fact that there is something such that if the fact that it is a kind of a generic is not false the fact that it is both a bluing and not a coot is not true is not correct. ; $context$ = sent1: if something is pentecostal the fact that it correlates Ladyship and is not a moloch does not hold. sent2: that something is a bluing but it is not a coot is false if it is a generic. sent3: that something does blue and it is a kind of a coot is not right if it is a generic. sent4: the fact that the man-of-the-earth is a bluing and a coot is not right if it is a generic. sent5: the fact that the fact that the man-of-the-earth is a kind of a bluing that is an equine is correct is incorrect if it is a milk-vetch. sent6: the scoutmaster swaps Pacific and is not a sneezer if it is a coot. sent7: the man-of-the-earth is caecilian but it is not unperceptive if it does swap dissolution. sent8: if something is a generic it is a bluing but not a coot. sent9: something is both a sneezer and not metrological if it is Rhodesian. sent10: there is something such that if it is a generic then that it blues and is a kind of a coot is not right. sent11: if the quaffer swaps Pacific then the fact that it does pity scoutmaster and it is not Handelian is false. sent12: there exists something such that if it is a generic then it blues and it is not a kind of a coot. sent13: if the man-of-the-earth is a generic it is a bluing and it is not a coot. ; $proof$ = 
sent2 -> int1: the fact that the man-of-the-earth is a bluing and is not a coot does not hold if it is a generic.; int1 -> hypothesis; __DISPROVED__