there is something such that if it is not a catostomid then it is a kind of a Franciscan that is a kind of a Wednesday.
sent1: there exists something such that if it is not a catostomid it is a Wednesday. sent2: the creole-fish is a Franciscan and it is permanent if it is not a treason. sent3: if that the cruiser is a kind of a catostomid is incorrect it is a cornea and it is a kind of a bailiffship. sent4: there exists something such that if it is not heavy-duty it is a culture and it is a retrospect. sent5: if the creole-fish is a catostomid then it is Franciscan and is a Wednesday. sent6: something is Franciscan and it is a Wednesday if it is not a catostomid. sent7: something is wild and it is diclinous if it is not Samoan. sent8: there is something such that if it is not a catostomid it is a Franciscan. sent9: if something is cormous then it is priming a linin. sent10: if the creole-fish is not a kind of a catostomid it is Franciscan. sent11: if that the creole-fish is not a kind of a Franciscan is not incorrect it is birefringent. sent12: something is both systematics and pictorial if it does not heap. sent13: something that is a catostomid is a kind of Franciscan a Wednesday. sent14: the fact that there is something such that if it is a catostomid then it is a Franciscan and it is a Wednesday is right. sent15: there exists something such that if it mothers then it is electromotive and represses Elaphurus.
sent6 -> int1: the creole-fish is a kind of a Franciscan that is a Wednesday if it is not a catostomid.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is not a catostomid then it is a kind of a Franciscan that is a kind of a Wednesday. ; $context$ = sent1: there exists something such that if it is not a catostomid it is a Wednesday. sent2: the creole-fish is a Franciscan and it is permanent if it is not a treason. sent3: if that the cruiser is a kind of a catostomid is incorrect it is a cornea and it is a kind of a bailiffship. sent4: there exists something such that if it is not heavy-duty it is a culture and it is a retrospect. sent5: if the creole-fish is a catostomid then it is Franciscan and is a Wednesday. sent6: something is Franciscan and it is a Wednesday if it is not a catostomid. sent7: something is wild and it is diclinous if it is not Samoan. sent8: there is something such that if it is not a catostomid it is a Franciscan. sent9: if something is cormous then it is priming a linin. sent10: if the creole-fish is not a kind of a catostomid it is Franciscan. sent11: if that the creole-fish is not a kind of a Franciscan is not incorrect it is birefringent. sent12: something is both systematics and pictorial if it does not heap. sent13: something that is a catostomid is a kind of Franciscan a Wednesday. sent14: the fact that there is something such that if it is a catostomid then it is a Franciscan and it is a Wednesday is right. sent15: there exists something such that if it mothers then it is electromotive and represses Elaphurus. ; $proof$ = 
sent6 -> int1: the creole-fish is a kind of a Franciscan that is a Wednesday if it is not a catostomid.; int1 -> hypothesis; __PROVED__