the fact that the acarus does not decelerate and swelters sudorific does not hold if the balance does not govern.
sent1: something does swelter sudorific if that it does not taste Embothrium and it trusses collection is incorrect. sent2: if the flicker swelters sudorific then that the acarus does not decelerate and does swelters sudorific does not hold.
void -> assump1: Let's assume that the balance does not govern.; sent1 -> int1: that the flicker does swelter sudorific hold if the fact that it does not taste Embothrium and trusses collection is not correct.;
$hypothesis$ = the fact that the acarus does not decelerate and swelters sudorific does not hold if the balance does not govern. ; $context$ = sent1: something does swelter sudorific if that it does not taste Embothrium and it trusses collection is incorrect. sent2: if the flicker swelters sudorific then that the acarus does not decelerate and does swelters sudorific does not hold. ; $proof$ = 
void -> assump1: Let's assume that the balance does not govern.; sent1 -> int1: that the flicker does swelter sudorific hold if the fact that it does not taste Embothrium and trusses collection is not correct.; __UNKNOWN__