the supinator is not air-to-surface.
sent1: if that something is not reportable and/or it does trivialize tannin is not right then it is not air-to-surface. sent2: that the pyxidium is not likely and/or it does knit absoluteness is wrong. sent3: that the supinator is not reportable and/or it does trivialize tannin is wrong if it is not unlikely. sent4: the supinator is not a trammel if that it either is air-to-surface or is androgynous or both is not correct.
sent1 -> int1: if the fact that the supinator either is not reportable or trivializes tannin or both is wrong it is not air-to-surface.;
$hypothesis$ = the supinator is not air-to-surface. ; $context$ = sent1: if that something is not reportable and/or it does trivialize tannin is not right then it is not air-to-surface. sent2: that the pyxidium is not likely and/or it does knit absoluteness is wrong. sent3: that the supinator is not reportable and/or it does trivialize tannin is wrong if it is not unlikely. sent4: the supinator is not a trammel if that it either is air-to-surface or is androgynous or both is not correct. ; $proof$ = 
sent1 -> int1: if the fact that the supinator either is not reportable or trivializes tannin or both is wrong it is not air-to-surface.; __UNKNOWN__