there is something such that if it is not a lizardfish it is cyclothymic and it does not devoice surcharge.
sent1: something is cyclothymic and does not devoice surcharge if it is not a lizardfish. sent2: that if the snow-in-summer is not a kind of the lizardfish then the snow-in-summer is cyclothymic and it does devoice surcharge hold. sent3: there exists something such that if it is a kind of a lizardfish it is cyclothymic and does not devoice surcharge. sent4: the snow-in-summer is cyclothymic if it is not a lizardfish. sent5: if the macaroni does not devoice mischance it is a zeugma and it is not cyclothymic. sent6: there is something such that if it is not a lizardfish it is cyclothymic and it does devoice surcharge. sent7: there is something such that if it does not belt then it is a moonwalk and it does not slosh. sent8: there is something such that if it is not a lizardfish then the fact that it does not devoice surcharge hold. sent9: that something is a ground and not a hyperbaton if it is not Baptistic is right. sent10: that the snow-in-summer is cyclothymic but it does not devoice surcharge is not incorrect if it is a lizardfish. sent11: there exists something such that if it is not a kind of a lizardfish it is cyclothymic. sent12: there is something such that if it is mononuclear it is a kind of soteriological thing that does not outsell Hess. sent13: if something is a kind of a lizardfish it is cyclothymic and does not devoice surcharge.
sent1 -> int1: if the snow-in-summer is not a lizardfish it is a kind of cyclothymic thing that does not devoice surcharge.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is not a lizardfish it is cyclothymic and it does not devoice surcharge. ; $context$ = sent1: something is cyclothymic and does not devoice surcharge if it is not a lizardfish. sent2: that if the snow-in-summer is not a kind of the lizardfish then the snow-in-summer is cyclothymic and it does devoice surcharge hold. sent3: there exists something such that if it is a kind of a lizardfish it is cyclothymic and does not devoice surcharge. sent4: the snow-in-summer is cyclothymic if it is not a lizardfish. sent5: if the macaroni does not devoice mischance it is a zeugma and it is not cyclothymic. sent6: there is something such that if it is not a lizardfish it is cyclothymic and it does devoice surcharge. sent7: there is something such that if it does not belt then it is a moonwalk and it does not slosh. sent8: there is something such that if it is not a lizardfish then the fact that it does not devoice surcharge hold. sent9: that something is a ground and not a hyperbaton if it is not Baptistic is right. sent10: that the snow-in-summer is cyclothymic but it does not devoice surcharge is not incorrect if it is a lizardfish. sent11: there exists something such that if it is not a kind of a lizardfish it is cyclothymic. sent12: there is something such that if it is mononuclear it is a kind of soteriological thing that does not outsell Hess. sent13: if something is a kind of a lizardfish it is cyclothymic and does not devoice surcharge. ; $proof$ = 
sent1 -> int1: if the snow-in-summer is not a lizardfish it is a kind of cyclothymic thing that does not devoice surcharge.; int1 -> hypothesis; __PROVED__