the fact that the aqualung is not a dynamite but it is aphaeretic is not true.
sent1: there is something such that it is not a Sirius and melds. sent2: if the divi-divi is aphaeretic the aqualung is not aphaeretic. sent3: if something that is not a Mauritanian is a Portunus then it does not depose Nijmegen. sent4: if the spinach dynamites and it does approbate born then the aqualung is not a dynamites. sent5: if the mountainside melds the fact that the aqualung is not a dynamite but it is aphaeretic does not hold. sent6: the fact that the mountainside is a kind of a Sirius and it does meld is incorrect. sent7: that the spinach does not approbate born is not wrong if the admonisher does not approbate born. sent8: if the admonisher does not depose Nijmegen the spinach dynamites and approbates born. sent9: something is aphaeretic if it is a kind of a Ruth. sent10: the fact that the mountainside is not a Sirius is true. sent11: the admonisher does not approbate born. sent12: if there exists something such that the fact that it is not a Sirius and melds is not correct then the spinach does approbate born. sent13: The born does not approbate admonisher. sent14: the mountainside is aphaeretic.
void -> assump1: Let's assume that that the mountainside is not a Sirius but it melds does not hold.; assump1 -> int1: there exists something such that that it is not a Sirius and it melds is not right.; int1 & sent12 -> int2: the spinach approbates born.; sent7 & sent11 -> int3: the spinach does not approbate born.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the mountainside is not a kind of a Sirius and does meld.; int5 -> int6: the mountainside does meld.; int6 & sent5 -> hypothesis;
the aqualung does not dynamite but it is aphaeretic.
sent3 -> int7: if the admonisher is not a Mauritanian and is a Portunus then it does not depose Nijmegen.; sent9 -> int8: if the divi-divi is a kind of a Ruth it is aphaeretic.;
$hypothesis$ = the fact that the aqualung is not a dynamite but it is aphaeretic is not true. ; $context$ = sent1: there is something such that it is not a Sirius and melds. sent2: if the divi-divi is aphaeretic the aqualung is not aphaeretic. sent3: if something that is not a Mauritanian is a Portunus then it does not depose Nijmegen. sent4: if the spinach dynamites and it does approbate born then the aqualung is not a dynamites. sent5: if the mountainside melds the fact that the aqualung is not a dynamite but it is aphaeretic does not hold. sent6: the fact that the mountainside is a kind of a Sirius and it does meld is incorrect. sent7: that the spinach does not approbate born is not wrong if the admonisher does not approbate born. sent8: if the admonisher does not depose Nijmegen the spinach dynamites and approbates born. sent9: something is aphaeretic if it is a kind of a Ruth. sent10: the fact that the mountainside is not a Sirius is true. sent11: the admonisher does not approbate born. sent12: if there exists something such that the fact that it is not a Sirius and melds is not correct then the spinach does approbate born. sent13: The born does not approbate admonisher. sent14: the mountainside is aphaeretic. ; $proof$ = 
void -> assump1: Let's assume that that the mountainside is not a Sirius but it melds does not hold.; assump1 -> int1: there exists something such that that it is not a Sirius and it melds is not right.; int1 & sent12 -> int2: the spinach approbates born.; sent7 & sent11 -> int3: the spinach does not approbate born.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the mountainside is not a kind of a Sirius and does meld.; int5 -> int6: the mountainside does meld.; int6 & sent5 -> hypothesis; __PROVED__