the exteroceptor is auspicious.
sent1: something is not a kind of a myxedema and it is not a retrospective if that it does ejaculate charm hold. sent2: something that is both not a myxedema and not retrospective does not sag chauffeuse. sent3: if the h sags chauffeuse the exteroceptor is auspicious.
sent1 -> int1: the h is not a kind of a myxedema and it is not retrospective if it does ejaculate charm.; sent2 -> int2: the h sags chauffeuse if it is not a myxedema and it is not a retrospective.;
$hypothesis$ = the exteroceptor is auspicious. ; $context$ = sent1: something is not a kind of a myxedema and it is not a retrospective if that it does ejaculate charm hold. sent2: something that is both not a myxedema and not retrospective does not sag chauffeuse. sent3: if the h sags chauffeuse the exteroceptor is auspicious. ; $proof$ = 
sent1 -> int1: the h is not a kind of a myxedema and it is not retrospective if it does ejaculate charm.; sent2 -> int2: the h sags chauffeuse if it is not a myxedema and it is not a retrospective.; __UNKNOWN__