that there is something such that if it does not broil Nycticorax then the fact that it is bronchiolar thing that is a Y does not hold does not hold.
sent1: that the ligule is a kind of bronchiolar a Y is incorrect if that it does not broil Nycticorax is true. sent2: the fact that something does fabricate marquee and centers is false if it does not quarantine ligule. sent3: the fact that the ligule is a kind of bronchiolar thing that is a kind of a Y is not correct if it broils Nycticorax. sent4: there exists something such that if it is not a kind of a greenfly it does quarantine gastroenterologist and is a kind of a lupine.
sent1 -> hypothesis;
there exists something such that if it does not quarantine ligule that it does fabricate marquee and is not non-center is wrong.
sent2 -> int1: if the gastroenterologist does not quarantine ligule the fact that it fabricates marquee and is a kind of a center is not true.; int1 -> hypothesis;
$hypothesis$ = that there is something such that if it does not broil Nycticorax then the fact that it is bronchiolar thing that is a Y does not hold does not hold. ; $context$ = sent1: that the ligule is a kind of bronchiolar a Y is incorrect if that it does not broil Nycticorax is true. sent2: the fact that something does fabricate marquee and centers is false if it does not quarantine ligule. sent3: the fact that the ligule is a kind of bronchiolar thing that is a kind of a Y is not correct if it broils Nycticorax. sent4: there exists something such that if it is not a kind of a greenfly it does quarantine gastroenterologist and is a kind of a lupine. ; $proof$ = 
sent1 -> hypothesis; __DISPROVED__