the fact that the defect does not occur and the enumeration does not occur does not hold.
sent1: that the defecting does not occur and the enumeration does not occur is caused by that the vesper does not occur. sent2: if the studding rutherford occurs then the decreasing occurs. sent3: if the decreasing does not occur and the crustaceousness does not occur then the eventfulness does not occur. sent4: the decreasing occurs if the rerunning happens. sent5: the studding rutherford and/or the rerun occurs. sent6: if the vesper happens the fact that not the telemetry but the studding cold happens does not hold. sent7: that the defect does not occur and the enumeration does not occur is not true if the crustaceousness does not occur. sent8: the fact that the defect does not occur and the enumeration occurs is not correct if the crustaceousness does not occur. sent9: the drunkenness occurs. sent10: the vesper happens. sent11: if the fact that the telemetry does not occur and the studding cold occurs is incorrect then the eventfulness occurs. sent12: if the eventfulness happens and the neglecting trapshooter occurs then the crustaceousness does not occur. sent13: that the decrease happens yields that the neglecting trapshooter happens.
sent6 & sent10 -> int1: that the telemetry does not occur but the studding cold happens is not right.; int1 & sent11 -> int2: the eventfulness happens.; sent5 & sent2 & sent4 -> int3: the decrease happens.; sent13 & int3 -> int4: the neglecting trapshooter occurs.; int2 & int4 -> int5: the eventfulness and the neglecting trapshooter happens.; int5 & sent12 -> int6: the crustaceousness does not occur.; int6 & sent7 -> hypothesis;
the defecting does not occur and the enumeration does not occur.
$hypothesis$ = the fact that the defect does not occur and the enumeration does not occur does not hold. ; $context$ = sent1: that the defecting does not occur and the enumeration does not occur is caused by that the vesper does not occur. sent2: if the studding rutherford occurs then the decreasing occurs. sent3: if the decreasing does not occur and the crustaceousness does not occur then the eventfulness does not occur. sent4: the decreasing occurs if the rerunning happens. sent5: the studding rutherford and/or the rerun occurs. sent6: if the vesper happens the fact that not the telemetry but the studding cold happens does not hold. sent7: that the defect does not occur and the enumeration does not occur is not true if the crustaceousness does not occur. sent8: the fact that the defect does not occur and the enumeration occurs is not correct if the crustaceousness does not occur. sent9: the drunkenness occurs. sent10: the vesper happens. sent11: if the fact that the telemetry does not occur and the studding cold occurs is incorrect then the eventfulness occurs. sent12: if the eventfulness happens and the neglecting trapshooter occurs then the crustaceousness does not occur. sent13: that the decrease happens yields that the neglecting trapshooter happens. ; $proof$ = 
sent6 & sent10 -> int1: that the telemetry does not occur but the studding cold happens is not right.; int1 & sent11 -> int2: the eventfulness happens.; sent5 & sent2 & sent4 -> int3: the decrease happens.; sent13 & int3 -> int4: the neglecting trapshooter occurs.; int2 & int4 -> int5: the eventfulness and the neglecting trapshooter happens.; int5 & sent12 -> int6: the crustaceousness does not occur.; int6 & sent7 -> hypothesis; __PROVED__