the non-etiologicalness leads to that the custodianship and the transaction happens.
sent1: either the grading onychosis or the archangelicness or both happens. sent2: if the etiologicalness occurs both the custodianship and the transaction happens. sent3: the articularness happens and/or the abnormality occurs if the counting Khabarovsk does not occur. sent4: that both the alkalimetry and the hinge occurs hold. sent5: the custodianship happens if the aerobicness occurs. sent6: the stumbling strafe happens and the abnormality occurs. sent7: the path and/or the education occurs. sent8: the unequalness and the stumbling Sondheim happens if the fact that the sensing does not occur hold. sent9: if the motility occurs and/or the matureness does not occur the transaction happens. sent10: the motility and/or the immatureness occurs if the etiologicalness does not occur. sent11: if the maturing does not occur the transaction happens. sent12: if the fact that the percussion happens is correct then the torturing happens. sent13: both the aerobicness and the execration happens.
void -> assump1: Let's assume that that the etiologicalness does not occur is true.; sent10 & assump1 -> int1: the motility or the non-matureness or both happens.; int1 & sent9 -> int2: the transaction happens.; sent13 -> int3: the aerobicness occurs.; sent5 & int3 -> int4: the custodianship occurs.; int2 & int4 -> int5: both the custodianship and the transaction happens.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the non-etiologicalness leads to that the custodianship and the transaction happens. ; $context$ = sent1: either the grading onychosis or the archangelicness or both happens. sent2: if the etiologicalness occurs both the custodianship and the transaction happens. sent3: the articularness happens and/or the abnormality occurs if the counting Khabarovsk does not occur. sent4: that both the alkalimetry and the hinge occurs hold. sent5: the custodianship happens if the aerobicness occurs. sent6: the stumbling strafe happens and the abnormality occurs. sent7: the path and/or the education occurs. sent8: the unequalness and the stumbling Sondheim happens if the fact that the sensing does not occur hold. sent9: if the motility occurs and/or the matureness does not occur the transaction happens. sent10: the motility and/or the immatureness occurs if the etiologicalness does not occur. sent11: if the maturing does not occur the transaction happens. sent12: if the fact that the percussion happens is correct then the torturing happens. sent13: both the aerobicness and the execration happens. ; $proof$ = 
void -> assump1: Let's assume that that the etiologicalness does not occur is true.; sent10 & assump1 -> int1: the motility or the non-matureness or both happens.; int1 & sent9 -> int2: the transaction happens.; sent13 -> int3: the aerobicness occurs.; sent5 & int3 -> int4: the custodianship occurs.; int2 & int4 -> int5: both the custodianship and the transaction happens.; [assump1] & int5 -> hypothesis; __PROVED__