the blockbuster occurs.
sent1: that the aversion happens does not hold if the larceny and the juncture happens. sent2: the prick does not occur and the toasting does not occur if the firewall does not occur. sent3: the acting is prevented by that the aversion does not occur and/or that the mastery happens. sent4: if the acting does not occur then that the blockbuster occurs is not incorrect. sent5: that the prick but not the toasting happens does not hold if the juncture does not occur. sent6: the aversion and/or the mastery occurs. sent7: the fact that the pricking but not the toasting happens does not hold. sent8: if the firewall does not occur the pricking does not occur. sent9: if the juncture does not occur then that the pricking does not occur and the toasting does not occur is not correct. sent10: the fact that the prick does not occur is true. sent11: the larceny occurs.
void -> assump1: Let's assume that the juncture does not occur.; sent9 & assump1 -> int1: the fact that the prick does not occur and the toasting does not occur does not hold.;
$hypothesis$ = the blockbuster occurs. ; $context$ = sent1: that the aversion happens does not hold if the larceny and the juncture happens. sent2: the prick does not occur and the toasting does not occur if the firewall does not occur. sent3: the acting is prevented by that the aversion does not occur and/or that the mastery happens. sent4: if the acting does not occur then that the blockbuster occurs is not incorrect. sent5: that the prick but not the toasting happens does not hold if the juncture does not occur. sent6: the aversion and/or the mastery occurs. sent7: the fact that the pricking but not the toasting happens does not hold. sent8: if the firewall does not occur the pricking does not occur. sent9: if the juncture does not occur then that the pricking does not occur and the toasting does not occur is not correct. sent10: the fact that the prick does not occur is true. sent11: the larceny occurs. ; $proof$ = 
void -> assump1: Let's assume that the juncture does not occur.; sent9 & assump1 -> int1: the fact that the prick does not occur and the toasting does not occur does not hold.; __UNKNOWN__