that if the excluding FORTRAN happens the miracle does not occur does not hold.
sent1: that the carnivorousness occurs is not false. sent2: that the miracle happens is caused by the excluding FORTRAN. sent3: if the fact that the carnivorousness and the non-anaclinalness happens is incorrect the non-anaclinal occurs. sent4: that the carnivorousness and the non-anaclinalness happens is incorrect if the reversed does not occur. sent5: that the top-downness happens and the tarnishing convolvulus occurs causes that the anesthetic does not occur. sent6: if the subartesianness happens the reversed occurs. sent7: both the subartesianness and the carnivorousness happens. sent8: if that the familiarness does not occur hold the excluding FORTRAN happens but the miracle does not occur. sent9: if that both the miracle and the reversedness happens hold then the fact that the excluding FORTRAN does not occur hold. sent10: that the excluding FORTRAN happens and the miracle does not occur prevents that the reversedness occurs. sent11: that the excluding FORTRAN occurs is not false if the miracle and the reversed occurs. sent12: that the tune-up does not occur brings about that both the reprieving and the subartesianness occurs. sent13: the nonmonotonicness occurs.
void -> assump1: Let's assume that that the excluding FORTRAN happens is not incorrect.; void -> assump2: Let's assume that the miracle happens.; sent7 -> int1: the fact that the subartesianness occurs is not wrong.; sent6 & int1 -> int2: the reversed happens.; assump2 & int2 -> int3: both the miracle and the reversed occurs.; sent9 & int3 -> int4: the excluding FORTRAN does not occur.; assump1 & int4 -> int5: this is contradiction.; [assump2] & int5 -> int6: the miracle does not occur.; [assump1] & int6 -> hypothesis;
the reprieving occurs and the anaclinalness happens.
$hypothesis$ = that if the excluding FORTRAN happens the miracle does not occur does not hold. ; $context$ = sent1: that the carnivorousness occurs is not false. sent2: that the miracle happens is caused by the excluding FORTRAN. sent3: if the fact that the carnivorousness and the non-anaclinalness happens is incorrect the non-anaclinal occurs. sent4: that the carnivorousness and the non-anaclinalness happens is incorrect if the reversed does not occur. sent5: that the top-downness happens and the tarnishing convolvulus occurs causes that the anesthetic does not occur. sent6: if the subartesianness happens the reversed occurs. sent7: both the subartesianness and the carnivorousness happens. sent8: if that the familiarness does not occur hold the excluding FORTRAN happens but the miracle does not occur. sent9: if that both the miracle and the reversedness happens hold then the fact that the excluding FORTRAN does not occur hold. sent10: that the excluding FORTRAN happens and the miracle does not occur prevents that the reversedness occurs. sent11: that the excluding FORTRAN occurs is not false if the miracle and the reversed occurs. sent12: that the tune-up does not occur brings about that both the reprieving and the subartesianness occurs. sent13: the nonmonotonicness occurs. ; $proof$ = 
void -> assump1: Let's assume that that the excluding FORTRAN happens is not incorrect.; void -> assump2: Let's assume that the miracle happens.; sent7 -> int1: the fact that the subartesianness occurs is not wrong.; sent6 & int1 -> int2: the reversed happens.; assump2 & int2 -> int3: both the miracle and the reversed occurs.; sent9 & int3 -> int4: the excluding FORTRAN does not occur.; assump1 & int4 -> int5: this is contradiction.; [assump2] & int5 -> int6: the miracle does not occur.; [assump1] & int6 -> hypothesis; __DISPROVED__