the maxi is not a kind of a lazuli and does not besot sooth.
sent1: if the Hymen does not besot sooth the maxi is not a lazuli and does not besot sooth. sent2: the algebraist bundles oleander and it is a prime. sent3: the Hymen does not besot sooth if the fact that the bilocation is not a kind of a Attic but it subrogates southernism is not false.
void -> assump1: Let's assume that the fact that the bilocation is not a kind of a Attic and subrogates southernism does not hold.; sent2 -> int1: the algebraist is a kind of a prime.;
$hypothesis$ = the maxi is not a kind of a lazuli and does not besot sooth. ; $context$ = sent1: if the Hymen does not besot sooth the maxi is not a lazuli and does not besot sooth. sent2: the algebraist bundles oleander and it is a prime. sent3: the Hymen does not besot sooth if the fact that the bilocation is not a kind of a Attic but it subrogates southernism is not false. ; $proof$ = 
void -> assump1: Let's assume that the fact that the bilocation is not a kind of a Attic and subrogates southernism does not hold.; sent2 -> int1: the algebraist is a kind of a prime.; __UNKNOWN__