there is something such that that it is not non-lax and is interfacial does not hold.
sent1: if the jonah is a sclerotium it is a kind of non-lax thing that is interfacial. sent2: if something does not lob Strepera then that it is cormous and it does lob sporophore is false. sent3: there exists something such that the fact that it is introspective and does ban jonah does not hold. sent4: the fact that something is lax and it is interfacial does not hold if it does not lob Strepera. sent5: the blintz bogs if it is an indigo and a sclerotium. sent6: there exists something such that that it is a kind of Californian a broom is not correct. sent7: there exists something such that that it is a Wuhan and it is nonpsychoactive is not true. sent8: the kid does welcome if it lobs bologna. sent9: the blintz is not fungicidal. sent10: the blintz is a bog if it is not an indigo and it is a kind of a sclerotium. sent11: if something is not a sapodilla and is a FAO the fact that the blintz is not a bog is right. sent12: the jonah is a FAO if it lobs Strepera. sent13: the Pretender is a kind of a juggler if it is electroencephalographic. sent14: the fact that if the jonah does lob Strepera the jonah is not a kind of a sapodilla but it is a FAO is not wrong.
void -> assump1: Let's assume that the jonah does lob Strepera.; sent14 & assump1 -> int1: the jonah is not a sapodilla but a FAO.; int1 -> int2: something is not a kind of a sapodilla but it is a FAO.; int2 & sent11 -> int3: the blintz is not a bog.; sent4 -> int4: if the jonah does not lob Strepera the fact that it is lax and it is interfacial is wrong.;
there is something such that that it is cormous thing that does lob sporophore is false.
sent2 -> int5: if the blintz does not lob Strepera that it is cormous and it lobs sporophore is not correct.;
$hypothesis$ = there is something such that that it is not non-lax and is interfacial does not hold. ; $context$ = sent1: if the jonah is a sclerotium it is a kind of non-lax thing that is interfacial. sent2: if something does not lob Strepera then that it is cormous and it does lob sporophore is false. sent3: there exists something such that the fact that it is introspective and does ban jonah does not hold. sent4: the fact that something is lax and it is interfacial does not hold if it does not lob Strepera. sent5: the blintz bogs if it is an indigo and a sclerotium. sent6: there exists something such that that it is a kind of Californian a broom is not correct. sent7: there exists something such that that it is a Wuhan and it is nonpsychoactive is not true. sent8: the kid does welcome if it lobs bologna. sent9: the blintz is not fungicidal. sent10: the blintz is a bog if it is not an indigo and it is a kind of a sclerotium. sent11: if something is not a sapodilla and is a FAO the fact that the blintz is not a bog is right. sent12: the jonah is a FAO if it lobs Strepera. sent13: the Pretender is a kind of a juggler if it is electroencephalographic. sent14: the fact that if the jonah does lob Strepera the jonah is not a kind of a sapodilla but it is a FAO is not wrong. ; $proof$ = 
void -> assump1: Let's assume that the jonah does lob Strepera.; sent14 & assump1 -> int1: the jonah is not a sapodilla but a FAO.; int1 -> int2: something is not a kind of a sapodilla but it is a FAO.; int2 & sent11 -> int3: the blintz is not a bog.; sent4 -> int4: if the jonah does not lob Strepera the fact that it is lax and it is interfacial is wrong.; __UNKNOWN__