the braid steels simvastatin.
sent1: if something is traumatic it steels simvastatin. sent2: the braid does not steel simvastatin if the Acular does not steel simvastatin. sent3: if the Acular is non-obligational then the braid is traumatic and non-obligational. sent4: the fact that the simvastatin is not a pterosaur and is a newsletter is not right if the Acular is obligational.
void -> assump1: Let's assume that the Acular is obligational.; sent4 & assump1 -> int1: that the simvastatin is not a pterosaur and is a newsletter does not hold.; sent1 -> int2: if the braid is traumatic it does steel simvastatin.;
the braid does not steel simvastatin.
$hypothesis$ = the braid steels simvastatin. ; $context$ = sent1: if something is traumatic it steels simvastatin. sent2: the braid does not steel simvastatin if the Acular does not steel simvastatin. sent3: if the Acular is non-obligational then the braid is traumatic and non-obligational. sent4: the fact that the simvastatin is not a pterosaur and is a newsletter is not right if the Acular is obligational. ; $proof$ = 
void -> assump1: Let's assume that the Acular is obligational.; sent4 & assump1 -> int1: that the simvastatin is not a pterosaur and is a newsletter does not hold.; sent1 -> int2: if the braid is traumatic it does steel simvastatin.; __UNKNOWN__