there is something such that if the fact that it either is a silver-lace or is not hemiparasitic or both is wrong then it is not a computerization.
sent1: if the fact that that the frivolity is synesthetic or it is hemiparasitic or both is true is not true it is not a stoic. sent2: if the fact that something is apneic and/or non-asleep is not right it is not a kind of a Dreissena. sent3: there exists something such that if the fact that that either it is a pump or it does not bar joule or both is right does not hold then it is curable. sent4: the frivolity is not a computerization if that it is a silver-lace and/or not hemiparasitic is not true. sent5: if that something is a transferability and/or is not unintelligible is wrong it does not batch ascot. sent6: the frivolity is young if the fact that it is a computerization or is not similar or both is wrong. sent7: the frivolity is not infinitival if that it is indecorous and/or not hemiparasitic is wrong. sent8: there is something such that if the fact that it is a silver-lace and/or is not hemiparasitic does not hold then it is a computerization. sent9: the frivolity is not a computerization if that it is a silver-lace and/or it is not non-hemiparasitic is wrong. sent10: the frivolity is a silver-lace if the fact that it is infinitival and/or it is not a mitogen is not true. sent11: the frivolity is a kind of a playschool if that it does stagger startup and/or it does not sporulate is false. sent12: the fact that there exists something such that if that it is parasympathomimetic and/or it is not pubic is false it is a hexose is true. sent13: there is something such that if either it bars skirl or it is not a chin or both it is not corrigible. sent14: there exists something such that if that it is a silver-lace or it is hemiparasitic or both is false then it is not a kind of a computerization.
sent4 -> hypothesis;
there exists something such that if the fact that it either is apneic or is not asleep or both is not right then it is not a Dreissena.
sent2 -> int1: the ascot is not a Dreissena if that it is apneic and/or is not asleep is false.; int1 -> hypothesis;
$hypothesis$ = there is something such that if the fact that it either is a silver-lace or is not hemiparasitic or both is wrong then it is not a computerization. ; $context$ = sent1: if the fact that that the frivolity is synesthetic or it is hemiparasitic or both is true is not true it is not a stoic. sent2: if the fact that something is apneic and/or non-asleep is not right it is not a kind of a Dreissena. sent3: there exists something such that if the fact that that either it is a pump or it does not bar joule or both is right does not hold then it is curable. sent4: the frivolity is not a computerization if that it is a silver-lace and/or not hemiparasitic is not true. sent5: if that something is a transferability and/or is not unintelligible is wrong it does not batch ascot. sent6: the frivolity is young if the fact that it is a computerization or is not similar or both is wrong. sent7: the frivolity is not infinitival if that it is indecorous and/or not hemiparasitic is wrong. sent8: there is something such that if the fact that it is a silver-lace and/or is not hemiparasitic does not hold then it is a computerization. sent9: the frivolity is not a computerization if that it is a silver-lace and/or it is not non-hemiparasitic is wrong. sent10: the frivolity is a silver-lace if the fact that it is infinitival and/or it is not a mitogen is not true. sent11: the frivolity is a kind of a playschool if that it does stagger startup and/or it does not sporulate is false. sent12: the fact that there exists something such that if that it is parasympathomimetic and/or it is not pubic is false it is a hexose is true. sent13: there is something such that if either it bars skirl or it is not a chin or both it is not corrigible. sent14: there exists something such that if that it is a silver-lace or it is hemiparasitic or both is false then it is not a kind of a computerization. ; $proof$ = 
sent4 -> hypothesis; __PROVED__