there exists something such that if it is untheatrical and does not shush cabotage it is insignificant.
sent1: if the fact that the biweekly is a kind of untheatrical thing that does not shush cabotage hold it is significant. sent2: if the fact that something is untheatrical and does not shush cabotage is right then it is not significant. sent3: there is something such that if it is a kind of a month and it does not shush Ctenocephalus then it does not chomp. sent4: there exists something such that if it is both a Nazi and not a pun it is not a kind of a reveille. sent5: if a untheatrical thing does not shush cabotage it is significant. sent6: if something is an emigrant but it is not a waveguide it is not a placebo. sent7: the biweekly is insignificant if it is untheatrical and does shush cabotage. sent8: if the biweekly pontificates but it is not a kind of a generic then it is not significant. sent9: there exists something such that if it is untheatrical and does not shush cabotage then it is significant. sent10: if something is a kind of untheatrical thing that shushes cabotage then it is not significant. sent11: the fact that there is something such that if it is untheatrical thing that shushes cabotage it is not significant is not incorrect. sent12: the biweekly is not untheatrical if it does shush reverse and it is not a kind of a Adventist. sent13: something is not a kind of a finch if it does hum biweekly and is not wifely.
sent2 -> int1: the biweekly is not significant if it is a kind of untheatrical thing that does not shush cabotage.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is untheatrical and does not shush cabotage it is insignificant. ; $context$ = sent1: if the fact that the biweekly is a kind of untheatrical thing that does not shush cabotage hold it is significant. sent2: if the fact that something is untheatrical and does not shush cabotage is right then it is not significant. sent3: there is something such that if it is a kind of a month and it does not shush Ctenocephalus then it does not chomp. sent4: there exists something such that if it is both a Nazi and not a pun it is not a kind of a reveille. sent5: if a untheatrical thing does not shush cabotage it is significant. sent6: if something is an emigrant but it is not a waveguide it is not a placebo. sent7: the biweekly is insignificant if it is untheatrical and does shush cabotage. sent8: if the biweekly pontificates but it is not a kind of a generic then it is not significant. sent9: there exists something such that if it is untheatrical and does not shush cabotage then it is significant. sent10: if something is a kind of untheatrical thing that shushes cabotage then it is not significant. sent11: the fact that there is something such that if it is untheatrical thing that shushes cabotage it is not significant is not incorrect. sent12: the biweekly is not untheatrical if it does shush reverse and it is not a kind of a Adventist. sent13: something is not a kind of a finch if it does hum biweekly and is not wifely. ; $proof$ = 
sent2 -> int1: the biweekly is not significant if it is a kind of untheatrical thing that does not shush cabotage.; int1 -> hypothesis; __PROVED__