if the pyemicness occurs then the fact that the sowing does not occur hold.
sent1: that the adsorbent does not occur is not wrong. sent2: the sow happens. sent3: the doubting happens. sent4: if the pyemicness happens then the sow happens. sent5: if the misconduct happens then the sowing does not occur. sent6: that the sow happens is brought about by that either the misconduct or the pyemicness or both occurs.
void -> assump1: Let's assume that the pyemicness occurs.; assump1 -> int1: either the misconduct or the pyemicness or both occurs.;
$hypothesis$ = if the pyemicness occurs then the fact that the sowing does not occur hold. ; $context$ = sent1: that the adsorbent does not occur is not wrong. sent2: the sow happens. sent3: the doubting happens. sent4: if the pyemicness happens then the sow happens. sent5: if the misconduct happens then the sowing does not occur. sent6: that the sow happens is brought about by that either the misconduct or the pyemicness or both occurs. ; $proof$ = 
void -> assump1: Let's assume that the pyemicness occurs.; assump1 -> int1: either the misconduct or the pyemicness or both occurs.; __UNKNOWN__