there exists something such that if it does not tyrannize and it is tragic it does curvet Symphytum.
sent1: there is something such that if it is isthmian thing that is Scandinavian it is prolate. sent2: if the invite does tyrannize and it is tragic then it curvets Symphytum. sent3: there exists something such that if it does sight bilaterality and is not unmindful it is eccentric. sent4: there exists something such that if it does tyrannize and is tragic it does curvet Symphytum. sent5: if something tyrannizes and it is tragic it curvets Symphytum.
$hypothesis$ = there exists something such that if it does not tyrannize and it is tragic it does curvet Symphytum. ; $context$ = sent1: there is something such that if it is isthmian thing that is Scandinavian it is prolate. sent2: if the invite does tyrannize and it is tragic then it curvets Symphytum. sent3: there exists something such that if it does sight bilaterality and is not unmindful it is eccentric. sent4: there exists something such that if it does tyrannize and is tragic it does curvet Symphytum. sent5: if something tyrannizes and it is tragic it curvets Symphytum. ; $proof$ = 
__UNKNOWN__