there exists something such that if that it is not a kind of a schizophrenic and/or it is a acanthion is not correct it is not a lion's-ear.
sent1: if the fact that something does not flake Zoroastrian or is a kind of a Roman or both is not right it is not binucleate. sent2: something is a tiler if that either it does not harvest tarot or it is fossiliferous or both does not hold. sent3: there exists something such that if the fact that it is not Koranic and/or it accomplishes is false then that it is not a mammy hold. sent4: there exists something such that if the fact that it is unrealistic or is binucleate or both is not right it does not tip Mauritian. sent5: if the fact that something does not overuse anticoagulant or it is intelligible or both does not hold it does overuse steppe. sent6: the xerophyte is not a lion's-ear if it is not offshore and/or it is a kind of a Black. sent7: there exists something such that if it does not shorten and/or it does harvest moo it is not chlorophyllose. sent8: the transept is not a acanthion if the fact that it is not New or it does channelize or both is incorrect. sent9: there exists something such that if that it is not a competitiveness or does flake Numididae or both is false then it overuses snatch. sent10: if that the busker is a Abkhaz or it is evidentiary or both is not true then it is not a acanthion. sent11: the Mauritian is not regimental if it is not a crew and/or it is a kind of a lion's-ear. sent12: if the fact that something is either not rectosigmoid or a tetrasporangium or both is false it flakes grandson. sent13: if the fact that something is not a kind of a schizophrenic and/or is a kind of a acanthion does not hold then it is not a lion's-ear. sent14: there exists something such that if that it is not unalert and/or does flake Balfour is false it does roil. sent15: if the fact that the transept does not flake xerophyte or it is unalert or both does not hold it is not a lion's-ear. sent16: if that something is not ornithological and/or it tips Ostwald is not correct it does not overuse creepy-crawly. sent17: there is something such that if it is not nominalistic and/or it is a antiparticle it is not a kind of a boustrophedon. sent18: something is not categorial if that it either does not shorten or is hydrographic or both is incorrect.
sent13 -> int1: if that either the transept is not a schizophrenic or it is a acanthion or both is not right then it is not a kind of a lion's-ear.; int1 -> hypothesis;
there exists something such that if that it is not ornithological and/or it tips Ostwald does not hold it does not overuse creepy-crawly.
sent16 -> int2: the fact that the copilot overuses creepy-crawly is not correct if the fact that it is not ornithological and/or it tips Ostwald does not hold.; int2 -> hypothesis;
$hypothesis$ = there exists something such that if that it is not a kind of a schizophrenic and/or it is a acanthion is not correct it is not a lion's-ear. ; $context$ = sent1: if the fact that something does not flake Zoroastrian or is a kind of a Roman or both is not right it is not binucleate. sent2: something is a tiler if that either it does not harvest tarot or it is fossiliferous or both does not hold. sent3: there exists something such that if the fact that it is not Koranic and/or it accomplishes is false then that it is not a mammy hold. sent4: there exists something such that if the fact that it is unrealistic or is binucleate or both is not right it does not tip Mauritian. sent5: if the fact that something does not overuse anticoagulant or it is intelligible or both does not hold it does overuse steppe. sent6: the xerophyte is not a lion's-ear if it is not offshore and/or it is a kind of a Black. sent7: there exists something such that if it does not shorten and/or it does harvest moo it is not chlorophyllose. sent8: the transept is not a acanthion if the fact that it is not New or it does channelize or both is incorrect. sent9: there exists something such that if that it is not a competitiveness or does flake Numididae or both is false then it overuses snatch. sent10: if that the busker is a Abkhaz or it is evidentiary or both is not true then it is not a acanthion. sent11: the Mauritian is not regimental if it is not a crew and/or it is a kind of a lion's-ear. sent12: if the fact that something is either not rectosigmoid or a tetrasporangium or both is false it flakes grandson. sent13: if the fact that something is not a kind of a schizophrenic and/or is a kind of a acanthion does not hold then it is not a lion's-ear. sent14: there exists something such that if that it is not unalert and/or does flake Balfour is false it does roil. sent15: if the fact that the transept does not flake xerophyte or it is unalert or both does not hold it is not a lion's-ear. sent16: if that something is not ornithological and/or it tips Ostwald is not correct it does not overuse creepy-crawly. sent17: there is something such that if it is not nominalistic and/or it is a antiparticle it is not a kind of a boustrophedon. sent18: something is not categorial if that it either does not shorten or is hydrographic or both is incorrect. ; $proof$ = 
sent13 -> int1: if that either the transept is not a schizophrenic or it is a acanthion or both is not right then it is not a kind of a lion's-ear.; int1 -> hypothesis; __PROVED__