there is something such that if it is not a flashlight it either is not a vizier or is zymotic or both.
sent1: if the Muscadet is not a flashlight it is a vizier or zymotic or both.
$hypothesis$ = there is something such that if it is not a flashlight it either is not a vizier or is zymotic or both. ; $context$ = sent1: if the Muscadet is not a flashlight it is a vizier or zymotic or both. ; $proof$ = 
__UNKNOWN__