the modeling does not occur.
sent1: that the healing Irenidae occurs and the model occurs leads to that the dilating osier does not occur. sent2: that the healing Irenidae happens is not wrong. sent3: the dilating osier happens and/or the healing Irenidae happens if the prizing does not occur. sent4: if the singlesness does not occur then the healing disunion happens and the postbiblicalness occurs. sent5: that the expressionistness happens and the healing disunion occurs brings about that the prize does not occur. sent6: if that the stomatousness does not occur is not correct the expressionistness happens but the thrusting apostleship does not occur. sent7: if the fact that the prizing does not occur is right the fact that the healing Irenidae does not occur and the dilating osier does not occur does not hold. sent8: that the scapulohumeralness does not occur hold. sent9: the dilating osier occurs. sent10: if that both the pileup and the healing helicon occurs is false then the singlesness does not occur. sent11: the prize does not occur if the healing disunion does not occur and/or the expressionistness does not occur. sent12: the pileup happens. sent13: the stomatousness occurs and the rally occurs.
void -> assump1: Let's assume that the modeling happens.; sent2 & assump1 -> int1: both the healing Irenidae and the model occurs.; int1 & sent1 -> int2: the dilating osier does not occur.; int2 & sent9 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the model happens.
$hypothesis$ = the modeling does not occur. ; $context$ = sent1: that the healing Irenidae occurs and the model occurs leads to that the dilating osier does not occur. sent2: that the healing Irenidae happens is not wrong. sent3: the dilating osier happens and/or the healing Irenidae happens if the prizing does not occur. sent4: if the singlesness does not occur then the healing disunion happens and the postbiblicalness occurs. sent5: that the expressionistness happens and the healing disunion occurs brings about that the prize does not occur. sent6: if that the stomatousness does not occur is not correct the expressionistness happens but the thrusting apostleship does not occur. sent7: if the fact that the prizing does not occur is right the fact that the healing Irenidae does not occur and the dilating osier does not occur does not hold. sent8: that the scapulohumeralness does not occur hold. sent9: the dilating osier occurs. sent10: if that both the pileup and the healing helicon occurs is false then the singlesness does not occur. sent11: the prize does not occur if the healing disunion does not occur and/or the expressionistness does not occur. sent12: the pileup happens. sent13: the stomatousness occurs and the rally occurs. ; $proof$ = 
void -> assump1: Let's assume that the modeling happens.; sent2 & assump1 -> int1: both the healing Irenidae and the model occurs.; int1 & sent1 -> int2: the dilating osier does not occur.; int2 & sent9 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__