there exists something such that if it does not broil oilskin it is not an expressionist and it is not non-antonymous.
sent1: something is an expressionist and it is antonymous if it does not broil oilskin. sent2: that something is not an expressionist but it is antonymous hold if it does broil oilskin. sent3: the cyme does not dwell and is a sabbatical if it is not nonfissionable. sent4: there exists something such that if it does broil oilskin it is non-expressionist but not non-antonymous. sent5: there is something such that if it does not broil oilskin it is antonymous. sent6: if something does not broil oilskin then it is antonymous. sent7: if that the diamine is not a gametoecium is not false then the fact that it does not bespangle and broils Netscape is not false. sent8: something is not a effortlessness but it is monatomic if it does not quarantine diamine. sent9: that there is something such that if it is not a Kesey then it is agraphic and a loasa is right. sent10: the diamine is not an expressionist but it is not non-antonymous if it broils oilskin. sent11: something that does not broil oilskin is both not expressionist and antonymous. sent12: something is not anticoagulative but it is a kind of a pedestal if it is not a wheat. sent13: the northerly does not airlift but it is a crayon if it is not prenatal. sent14: if the diamine does not broil oilskin it is a kind of an expressionist that is antonymous. sent15: the diamine is antonymous if it does not broil oilskin.
sent11 -> int1: if the diamine does not broil oilskin it is not an expressionist and is antonymous.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it does not broil oilskin it is not an expressionist and it is not non-antonymous. ; $context$ = sent1: something is an expressionist and it is antonymous if it does not broil oilskin. sent2: that something is not an expressionist but it is antonymous hold if it does broil oilskin. sent3: the cyme does not dwell and is a sabbatical if it is not nonfissionable. sent4: there exists something such that if it does broil oilskin it is non-expressionist but not non-antonymous. sent5: there is something such that if it does not broil oilskin it is antonymous. sent6: if something does not broil oilskin then it is antonymous. sent7: if that the diamine is not a gametoecium is not false then the fact that it does not bespangle and broils Netscape is not false. sent8: something is not a effortlessness but it is monatomic if it does not quarantine diamine. sent9: that there is something such that if it is not a Kesey then it is agraphic and a loasa is right. sent10: the diamine is not an expressionist but it is not non-antonymous if it broils oilskin. sent11: something that does not broil oilskin is both not expressionist and antonymous. sent12: something is not anticoagulative but it is a kind of a pedestal if it is not a wheat. sent13: the northerly does not airlift but it is a crayon if it is not prenatal. sent14: if the diamine does not broil oilskin it is a kind of an expressionist that is antonymous. sent15: the diamine is antonymous if it does not broil oilskin. ; $proof$ = 
sent11 -> int1: if the diamine does not broil oilskin it is not an expressionist and is antonymous.; int1 -> hypothesis; __PROVED__