the web is enolic.
sent1: something that does fret prelim is atomic. sent2: the hydroxide is domiciliary if it is enolic. sent3: the hydroxide is not intrasentential but antemortem. sent4: something is domiciliary if it is antemortem. sent5: if the electromyograph is atomic then the fact that the web is enolic hold.
sent3 -> int1: the hydroxide is antemortem.; sent4 -> int2: the hydroxide is domiciliary if it is antemortem.; int1 & int2 -> int3: the hydroxide is domiciliary.; int3 -> int4: there is something such that that it is domiciliary is not incorrect.; sent1 -> int5: the electromyograph is atomic if it does fret prelim.;
$hypothesis$ = the web is enolic. ; $context$ = sent1: something that does fret prelim is atomic. sent2: the hydroxide is domiciliary if it is enolic. sent3: the hydroxide is not intrasentential but antemortem. sent4: something is domiciliary if it is antemortem. sent5: if the electromyograph is atomic then the fact that the web is enolic hold. ; $proof$ = 
sent3 -> int1: the hydroxide is antemortem.; sent4 -> int2: the hydroxide is domiciliary if it is antemortem.; int1 & int2 -> int3: the hydroxide is domiciliary.; int3 -> int4: there is something such that that it is domiciliary is not incorrect.; sent1 -> int5: the electromyograph is atomic if it does fret prelim.; __UNKNOWN__