the surfacing does not occur and the roar does not occur if the spud does not occur.
sent1: if the funrun does not occur then the Comstockery does not occur. sent2: if that the lambing Ovocon does not occur is right the roar does not occur. sent3: the transparency does not occur. sent4: the Ptolemaicness occurs. sent5: the lambing Ovocon does not occur and the midiness does not occur. sent6: the annalisticness happens. sent7: the midiness does not occur.
void -> assump1: Let's assume that the surfaceness happens.; void -> assump2: Let's assume that the spudding does not occur.; sent5 -> int1: that the lambing Ovocon does not occur is not incorrect.; sent2 & int1 -> int2: the roar does not occur.;
$hypothesis$ = the surfacing does not occur and the roar does not occur if the spud does not occur. ; $context$ = sent1: if the funrun does not occur then the Comstockery does not occur. sent2: if that the lambing Ovocon does not occur is right the roar does not occur. sent3: the transparency does not occur. sent4: the Ptolemaicness occurs. sent5: the lambing Ovocon does not occur and the midiness does not occur. sent6: the annalisticness happens. sent7: the midiness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the surfaceness happens.; void -> assump2: Let's assume that the spudding does not occur.; sent5 -> int1: that the lambing Ovocon does not occur is not incorrect.; sent2 & int1 -> int2: the roar does not occur.; __UNKNOWN__