if the refrigeration does not occur that the circulation does not occur and the argument occurs is not true.
sent1: if the hypotonicness does not occur then the aurifying scrubbird and the Trinidadianness occurs. sent2: the fact that both the circulation and the argument happens is wrong if the fact that the refrigeration does not occur is correct. sent3: the fact that that the surfing does not occur but the sharpening occurs is not true hold. sent4: that the refrigeration does not occur causes that the circulation does not occur but the argument occurs. sent5: the circulation does not occur. sent6: that the circulation does not occur and the argument occurs is not true if the refrigeration occurs. sent7: that the circulation happens and the argument occurs does not hold. sent8: the rating occurs. sent9: the liquefying UTC does not occur. sent10: the fact that the hypotonicness does not occur is not incorrect if that the hypotonicness and the better happens does not hold. sent11: that that the extradition does not occur is prevented by that the refrigeration does not occur and/or that the aurifying scrubbird happens hold. sent12: that the circulation and the argument happens prevents that the refrigeration does not occur.
void -> assump1: Let's assume that the circulation does not occur and the argument happens.;
the extradition occurs.
$hypothesis$ = if the refrigeration does not occur that the circulation does not occur and the argument occurs is not true. ; $context$ = sent1: if the hypotonicness does not occur then the aurifying scrubbird and the Trinidadianness occurs. sent2: the fact that both the circulation and the argument happens is wrong if the fact that the refrigeration does not occur is correct. sent3: the fact that that the surfing does not occur but the sharpening occurs is not true hold. sent4: that the refrigeration does not occur causes that the circulation does not occur but the argument occurs. sent5: the circulation does not occur. sent6: that the circulation does not occur and the argument occurs is not true if the refrigeration occurs. sent7: that the circulation happens and the argument occurs does not hold. sent8: the rating occurs. sent9: the liquefying UTC does not occur. sent10: the fact that the hypotonicness does not occur is not incorrect if that the hypotonicness and the better happens does not hold. sent11: that that the extradition does not occur is prevented by that the refrigeration does not occur and/or that the aurifying scrubbird happens hold. sent12: that the circulation and the argument happens prevents that the refrigeration does not occur. ; $proof$ = 
void -> assump1: Let's assume that the circulation does not occur and the argument happens.; __UNKNOWN__