there is something such that if that it is ducal and it is not unorthodox is not correct then that it is a gaze is not wrong.
sent1: there is something such that if that it is ducal and it is unorthodox does not hold then it gazes. sent2: the phlebotomist gazes if it is ducal and it is not unorthodox. sent3: if something is not ducal it is a kind of a gaze. sent4: that that the phlebotomist does gaze is right if the phlebotomist is not ducal is not incorrect. sent5: if something is ducal and not unorthodox then it is a kind of a gaze.
$hypothesis$ = there is something such that if that it is ducal and it is not unorthodox is not correct then that it is a gaze is not wrong. ; $context$ = sent1: there is something such that if that it is ducal and it is unorthodox does not hold then it gazes. sent2: the phlebotomist gazes if it is ducal and it is not unorthodox. sent3: if something is not ducal it is a kind of a gaze. sent4: that that the phlebotomist does gaze is right if the phlebotomist is not ducal is not incorrect. sent5: if something is ducal and not unorthodox then it is a kind of a gaze. ; $proof$ = 
__UNKNOWN__