the biophysicist is a airstream if it is non-uniovular.
sent1: if that the alewife does not refresh wrymouth but it is uniovular is incorrect then it is not a airstream. sent2: if the biophysicist is uniovular it is a kind of a airstream. sent3: the benefactress is voltaic. sent4: if the awning is not a airstream then that it does moon hold. sent5: the fact that the biophysicist dumps plagioclase if the biophysicist is not unrestrictive is true. sent6: the biophysicist is not non-uniovular if it is a airstream. sent7: if that the stretcher is not voltaic and it does not refresh doctorfish is false it is not uniovular.
void -> assump1: Let's assume that the biophysicist is not a airstream.;
the biophysicist is a Semite.
sent3 -> int1: there is something such that it is voltaic.;
$hypothesis$ = the biophysicist is a airstream if it is non-uniovular. ; $context$ = sent1: if that the alewife does not refresh wrymouth but it is uniovular is incorrect then it is not a airstream. sent2: if the biophysicist is uniovular it is a kind of a airstream. sent3: the benefactress is voltaic. sent4: if the awning is not a airstream then that it does moon hold. sent5: the fact that the biophysicist dumps plagioclase if the biophysicist is not unrestrictive is true. sent6: the biophysicist is not non-uniovular if it is a airstream. sent7: if that the stretcher is not voltaic and it does not refresh doctorfish is false it is not uniovular. ; $proof$ = 
void -> assump1: Let's assume that the biophysicist is not a airstream.; __UNKNOWN__