the patriarchalness does not occur if the overcast occurs.
sent1: if the fact that the wanning does not occur and the zenithalness does not occur is wrong then the disreputableness does not occur. sent2: if the disreputableness does not occur then the repositing Hippocampus or the overcast or both happens. sent3: the wanning does not occur. sent4: the vestalness occurs. sent5: the ablating occurs. sent6: if the ablating and the patriarchalness occurs that the overcast does not occur hold. sent7: the peronealness does not occur if the horripilating trimer occurs. sent8: the overcasting occurs if the ablating and the patriarchalness happens. sent9: the fibrillation occurs. sent10: the Arabian occurs. sent11: if the fact that the sparring does not occur is not incorrect that the wanning does not occur and the zenithalness does not occur is incorrect. sent12: the fact that the patriarchalness occurs is not incorrect if the overcast occurs.
void -> assump1: Let's assume that the overcast occurs.; void -> assump2: Let's assume that the patriarchalness happens.; sent5 & assump2 -> int1: both the ablating and the patriarchalness occurs.; sent6 & int1 -> int2: the overcast does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the patriarchalness does not occur.; [assump1] & int4 -> hypothesis;
the occidentalizing stoat and the foliaceousness occurs.
$hypothesis$ = the patriarchalness does not occur if the overcast occurs. ; $context$ = sent1: if the fact that the wanning does not occur and the zenithalness does not occur is wrong then the disreputableness does not occur. sent2: if the disreputableness does not occur then the repositing Hippocampus or the overcast or both happens. sent3: the wanning does not occur. sent4: the vestalness occurs. sent5: the ablating occurs. sent6: if the ablating and the patriarchalness occurs that the overcast does not occur hold. sent7: the peronealness does not occur if the horripilating trimer occurs. sent8: the overcasting occurs if the ablating and the patriarchalness happens. sent9: the fibrillation occurs. sent10: the Arabian occurs. sent11: if the fact that the sparring does not occur is not incorrect that the wanning does not occur and the zenithalness does not occur is incorrect. sent12: the fact that the patriarchalness occurs is not incorrect if the overcast occurs. ; $proof$ = 
void -> assump1: Let's assume that the overcast occurs.; void -> assump2: Let's assume that the patriarchalness happens.; sent5 & assump2 -> int1: both the ablating and the patriarchalness occurs.; sent6 & int1 -> int2: the overcast does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the patriarchalness does not occur.; [assump1] & int4 -> hypothesis; __PROVED__