there exists something such that if it is not a Oakley and it is a kind of a Dietrich it is not cryonics.
sent1: if something that is not a Dietrich does sulk it is not gustatory.
that the romper is not gustatory is true if it is not a Dietrich but a sulk.
sent1 -> hypothesis;
$hypothesis$ = there exists something such that if it is not a Oakley and it is a kind of a Dietrich it is not cryonics. ; $context$ = sent1: if something that is not a Dietrich does sulk it is not gustatory. ; $proof$ = 
__UNKNOWN__