if the barter occurs the extinguishing Grant happens and the perithelialness does not occur.
sent1: the extinguishing Grant happens and the insufficientness happens. sent2: if that the perithelialness but not the bartering happens is incorrect the victory does not occur. sent3: the pyrotechnicness does not occur. sent4: if the victory and/or the perithelialness happens then the barter occurs. sent5: that the practicing happens but the jointedness does not occur is triggered by that the victory does not occur. sent6: the droning perithelium does not occur. sent7: that the insufficientness happens is not wrong. sent8: the misdeal and the extinguishing euchre happens.
void -> assump2: Let's assume that the perithelialness occurs.; assump2 -> int1: either the victory or the perithelialness or both occurs.; void -> assump1: Let's assume that the bartering happens.; sent1 -> int2: the extinguishing Grant happens.;
the practicing but not the jointedness happens.
$hypothesis$ = if the barter occurs the extinguishing Grant happens and the perithelialness does not occur. ; $context$ = sent1: the extinguishing Grant happens and the insufficientness happens. sent2: if that the perithelialness but not the bartering happens is incorrect the victory does not occur. sent3: the pyrotechnicness does not occur. sent4: if the victory and/or the perithelialness happens then the barter occurs. sent5: that the practicing happens but the jointedness does not occur is triggered by that the victory does not occur. sent6: the droning perithelium does not occur. sent7: that the insufficientness happens is not wrong. sent8: the misdeal and the extinguishing euchre happens. ; $proof$ = 
void -> assump2: Let's assume that the perithelialness occurs.; assump2 -> int1: either the victory or the perithelialness or both occurs.; void -> assump1: Let's assume that the bartering happens.; sent1 -> int2: the extinguishing Grant happens.; __UNKNOWN__