there is something such that if it is an undercut it approaches nonequivalence.
sent1: the fact that there exists something such that if it is perigonal then that it is a stria is not incorrect is right. sent2: if something is an undercut then the fact that it is not anisotropic and it does not approach nonequivalence is not correct. sent3: the position does undercut. sent4: something is not a twitch but it is prosthetics if the fact that it undercuts is correct.
sent4 -> int1: the reincarnation is not a twitch but prosthetics if it undercuts.; void -> assump1: Let's assume that the reincarnation is a kind of an undercut.; int1 & assump1 -> int2: the reincarnation is not a twitch but prosthetics.;
the lovastatin is anisotropic.
sent2 -> int3: the fact that the babbitt is not anisotropic and it does not approach nonequivalence is not right if it is a kind of an undercut.;
$hypothesis$ = there is something such that if it is an undercut it approaches nonequivalence. ; $context$ = sent1: the fact that there exists something such that if it is perigonal then that it is a stria is not incorrect is right. sent2: if something is an undercut then the fact that it is not anisotropic and it does not approach nonequivalence is not correct. sent3: the position does undercut. sent4: something is not a twitch but it is prosthetics if the fact that it undercuts is correct. ; $proof$ = 
sent4 -> int1: the reincarnation is not a twitch but prosthetics if it undercuts.; void -> assump1: Let's assume that the reincarnation is a kind of an undercut.; int1 & assump1 -> int2: the reincarnation is not a twitch but prosthetics.; __UNKNOWN__