that there exists something such that if the fact that it is a kind of a sideline and it is not a gathering is false the fact that it is not a kind of a Chinese is correct does not hold.
sent1: that the folate is not a Chinese is not false if the fact that it does sideline and it does not gather does not hold. sent2: the folate is not a Chinese if the fact that it is a sideline and a gathering does not hold. sent3: there is something such that if it is a gathering then it is not Chinese. sent4: if the fact that something is a fifteenth but it is not incredulous is not correct then it is not an immunology. sent5: if the animator is frail but not a Chinese it does not flood.
sent1 -> hypothesis;
the embodiment is not an immunology if the fact that it is a fifteenth and it is not incredulous is not right.
sent4 -> hypothesis;
$hypothesis$ = that there exists something such that if the fact that it is a kind of a sideline and it is not a gathering is false the fact that it is not a kind of a Chinese is correct does not hold. ; $context$ = sent1: that the folate is not a Chinese is not false if the fact that it does sideline and it does not gather does not hold. sent2: the folate is not a Chinese if the fact that it is a sideline and a gathering does not hold. sent3: there is something such that if it is a gathering then it is not Chinese. sent4: if the fact that something is a fifteenth but it is not incredulous is not correct then it is not an immunology. sent5: if the animator is frail but not a Chinese it does not flood. ; $proof$ = 
sent1 -> hypothesis; __DISPROVED__