the fact that there exists something such that if it is not anaclinal the fact that either it is not nomothetic or it is not a Daba or both does not hold is wrong.
sent1: there is something such that if it is not anaclinal then that it is either not nomothetic or a Daba or both does not hold. sent2: the fact that if something does not marvel half that either it is not cesarean or it is not wide or both does not hold hold. sent3: if the overlip is not anaclinal then the fact that it is not nomothetic and/or it is not a kind of a Daba is false.
sent3 -> hypothesis;
there is something such that if it does not marvel half that it is not cesarean or it is not wide or both is false.
sent2 -> int1: if the thruster does not marvel half the fact that either it is not cesarean or it is not wide or both does not hold.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is not anaclinal the fact that either it is not nomothetic or it is not a Daba or both does not hold is wrong. ; $context$ = sent1: there is something such that if it is not anaclinal then that it is either not nomothetic or a Daba or both does not hold. sent2: the fact that if something does not marvel half that either it is not cesarean or it is not wide or both does not hold hold. sent3: if the overlip is not anaclinal then the fact that it is not nomothetic and/or it is not a kind of a Daba is false. ; $proof$ = 
sent3 -> hypothesis; __DISPROVED__