the ambush occurs.
sent1: if the collagenousness does not occur then the inclementness does not occur and the extending thrombus does not occur. sent2: if the fact that that the mensalness happens but the charades does not occur is right is not right then the ambush does not occur. sent3: if the charades does not occur then the inclementness occurs and the extending thrombus happens. sent4: the freshness does not occur. sent5: that the ambushing occurs is correct if that the inclementness happens is true. sent6: the collagenousness happens. sent7: if not the underwriting rhabdovirus but the plasma occurs the mensalness does not occur. sent8: that the collagenousness does not occur is prevented by the non-freshness. sent9: the charades yields that not the underwriting rhabdovirus but the plasma occurs. sent10: that the underwriting rhabdovirus happens and the plasma happens prevents that the mensalness happens. sent11: that the mensalness and the collagenousness occurs is right if the freshness does not occur.
void -> assump1: Let's assume that the charades happens.; sent9 & assump1 -> int1: not the underwriting rhabdovirus but the plasma occurs.; int1 & sent7 -> int2: the mensalness does not occur.; sent11 & sent4 -> int3: the mensalness happens and the collagenousness happens.; int3 -> int4: the mensalness happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the charades does not occur.; int6 & sent3 -> int7: the inclementness and the extending thrombus occurs.; int7 -> int8: the inclementness happens.; int8 & sent5 -> hypothesis;
the ambushing does not occur.
$hypothesis$ = the ambush occurs. ; $context$ = sent1: if the collagenousness does not occur then the inclementness does not occur and the extending thrombus does not occur. sent2: if the fact that that the mensalness happens but the charades does not occur is right is not right then the ambush does not occur. sent3: if the charades does not occur then the inclementness occurs and the extending thrombus happens. sent4: the freshness does not occur. sent5: that the ambushing occurs is correct if that the inclementness happens is true. sent6: the collagenousness happens. sent7: if not the underwriting rhabdovirus but the plasma occurs the mensalness does not occur. sent8: that the collagenousness does not occur is prevented by the non-freshness. sent9: the charades yields that not the underwriting rhabdovirus but the plasma occurs. sent10: that the underwriting rhabdovirus happens and the plasma happens prevents that the mensalness happens. sent11: that the mensalness and the collagenousness occurs is right if the freshness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the charades happens.; sent9 & assump1 -> int1: not the underwriting rhabdovirus but the plasma occurs.; int1 & sent7 -> int2: the mensalness does not occur.; sent11 & sent4 -> int3: the mensalness happens and the collagenousness happens.; int3 -> int4: the mensalness happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the charades does not occur.; int6 & sent3 -> int7: the inclementness and the extending thrombus occurs.; int7 -> int8: the inclementness happens.; int8 & sent5 -> hypothesis; __PROVED__