the praline is not non-alternate.
sent1: the oilpaper is eosinophilic and is a Laridae if the creole is not a Laridae. sent2: the fact that the oilpaper is respectable and it is a dockside does not hold. sent3: if something is not a riptide the creole is not a Laridae. sent4: if something is not respectable then that it is a cornet is not incorrect. sent5: if something is not respectable then it is a Medford that is a cornet. sent6: there exists something such that it is unobvious. sent7: if the fact that there exists something such that it is not obvious and it is a Medford hold then the praline does alternate. sent8: if the fact that the oilpaper is respectable and it is a dockside does not hold then it is not respectable. sent9: the oilpaper is eosinophilic. sent10: something is unobvious if it is a Laridae. sent11: there is something such that it is a riptide. sent12: if the creole is not a Laridae then the oilpaper is not non-eosinophilic. sent13: there exists something such that it is not a riptide.
sent13 & sent3 -> int1: the creole is not a kind of a Laridae.; int1 & sent1 -> int2: that the oilpaper is eosinophilic a Laridae hold.; int2 -> int3: the oilpaper is a Laridae.; sent10 -> int4: if the oilpaper is a Laridae then the fact that it is unobvious is not incorrect.; int3 & int4 -> int5: the oilpaper is unobvious.; sent5 -> int6: the oilpaper is a Medford and is a cornet if it is not respectable.; sent8 & sent2 -> int7: the fact that the oilpaper is not respectable is not incorrect.; int6 & int7 -> int8: the oilpaper is a Medford and it is a cornet.; int8 -> int9: the oilpaper is a kind of a Medford.; int5 & int9 -> int10: the oilpaper is unobvious and it is a kind of a Medford.; int10 -> int11: there exists something such that it is unobvious and it is a Medford.; int11 & sent7 -> hypothesis;
$hypothesis$ = the praline is not non-alternate. ; $context$ = sent1: the oilpaper is eosinophilic and is a Laridae if the creole is not a Laridae. sent2: the fact that the oilpaper is respectable and it is a dockside does not hold. sent3: if something is not a riptide the creole is not a Laridae. sent4: if something is not respectable then that it is a cornet is not incorrect. sent5: if something is not respectable then it is a Medford that is a cornet. sent6: there exists something such that it is unobvious. sent7: if the fact that there exists something such that it is not obvious and it is a Medford hold then the praline does alternate. sent8: if the fact that the oilpaper is respectable and it is a dockside does not hold then it is not respectable. sent9: the oilpaper is eosinophilic. sent10: something is unobvious if it is a Laridae. sent11: there is something such that it is a riptide. sent12: if the creole is not a Laridae then the oilpaper is not non-eosinophilic. sent13: there exists something such that it is not a riptide. ; $proof$ = 
sent13 & sent3 -> int1: the creole is not a kind of a Laridae.; int1 & sent1 -> int2: that the oilpaper is eosinophilic a Laridae hold.; int2 -> int3: the oilpaper is a Laridae.; sent10 -> int4: if the oilpaper is a Laridae then the fact that it is unobvious is not incorrect.; int3 & int4 -> int5: the oilpaper is unobvious.; sent5 -> int6: the oilpaper is a Medford and is a cornet if it is not respectable.; sent8 & sent2 -> int7: the fact that the oilpaper is not respectable is not incorrect.; int6 & int7 -> int8: the oilpaper is a Medford and it is a cornet.; int8 -> int9: the oilpaper is a kind of a Medford.; int5 & int9 -> int10: the oilpaper is unobvious and it is a kind of a Medford.; int10 -> int11: there exists something such that it is unobvious and it is a Medford.; int11 & sent7 -> hypothesis; __PROVED__