if the Mays does not strap then the tench is both not a stria and not dangerous.
sent1: the fact that the tench is both pleasant and non-clamatorial is not right. sent2: the tench is choreographic. sent3: that the tench is not dangerous is correct. sent4: the tench is not a release and not a sculler. sent5: the Mays is a stria. sent6: the Mays is not a stria and it is not dangerous if the tench is not a strap. sent7: the Mays is dangerous if the fact that the tench is not a strap and it is not a stria is not right. sent8: the Mays is not non-dangerous. sent9: the owl is non-dangerous but not azimuthal. sent10: the buff does strap. sent11: if the fact that the Mays is not a kind of a strap is not incorrect the tench is both a stria and not dangerous. sent12: the tench does strap. sent13: the fact that the tench is not a stria but dangerous is not true. sent14: the Mays is a strap if the fact that the tench is a kind of a stria that is not dangerous is false. sent15: the Mays is not a jay. sent16: the Mays is a strap if the tench is both not a stria and not dangerous. sent17: the tench is both not a stria and not a strap if the Mays is not dangerous. sent18: if the Mays does strap the tench is not a stria and it is not dangerous. sent19: if the Mays does not strap the tench is not dangerous. sent20: if the tench is dangerous the Mays is a strap.
void -> assump1: Let's assume that the fact that the tench is not a stria and it is non-dangerous is incorrect.;
$hypothesis$ = if the Mays does not strap then the tench is both not a stria and not dangerous. ; $context$ = sent1: the fact that the tench is both pleasant and non-clamatorial is not right. sent2: the tench is choreographic. sent3: that the tench is not dangerous is correct. sent4: the tench is not a release and not a sculler. sent5: the Mays is a stria. sent6: the Mays is not a stria and it is not dangerous if the tench is not a strap. sent7: the Mays is dangerous if the fact that the tench is not a strap and it is not a stria is not right. sent8: the Mays is not non-dangerous. sent9: the owl is non-dangerous but not azimuthal. sent10: the buff does strap. sent11: if the fact that the Mays is not a kind of a strap is not incorrect the tench is both a stria and not dangerous. sent12: the tench does strap. sent13: the fact that the tench is not a stria but dangerous is not true. sent14: the Mays is a strap if the fact that the tench is a kind of a stria that is not dangerous is false. sent15: the Mays is not a jay. sent16: the Mays is a strap if the tench is both not a stria and not dangerous. sent17: the tench is both not a stria and not a strap if the Mays is not dangerous. sent18: if the Mays does strap the tench is not a stria and it is not dangerous. sent19: if the Mays does not strap the tench is not dangerous. sent20: if the tench is dangerous the Mays is a strap. ; $proof$ = 
void -> assump1: Let's assume that the fact that the tench is not a stria and it is non-dangerous is incorrect.; __UNKNOWN__