that both the non-obligatoryness and the non-bridalness occurs does not hold.
sent1: the professorialness does not occur if the insubordinateness and the malingering Leacock happens. sent2: the fact that the laryngismus but not the coordination happens is wrong. sent3: the undressing trimmer prevents the non-insubordinateness. sent4: if that the racialness occurs and the heroic does not occur does not hold the ruggedization does not occur. sent5: the non-bridalness and the insubordinateness occurs if the malingering Leacock does not occur. sent6: the means happens if both the racialness and the non-heroicness happens. sent7: the autotomy happens if that the means happens is right. sent8: the malingering Leacock and the commemoration happens. sent9: if the ruggedization does not occur then the fact that both the non-obligatoryness and the bridalness happens does not hold. sent10: the racialness happens. sent11: the undressing trimmer occurs. sent12: the fact that the non-obligatoryness and the non-bridalness happens is not true if the ruggedization does not occur. sent13: if the autotomy does not occur that the fact that the rating does not occur and the walkout does not occur is wrong is right. sent14: if the autotomy happens the professorialness occurs. sent15: the fatwa happens and the malingering camlet occurs.
void -> assump1: Let's assume that the racialness and the non-heroicness occurs.; sent6 & assump1 -> int1: the means occurs.; int1 & sent7 -> int2: the autotomy occurs.; int2 & sent14 -> int3: the professorialness occurs.; sent3 & sent11 -> int4: the insubordinateness occurs.; sent8 -> int5: the malingering Leacock happens.; int4 & int5 -> int6: the insubordinateness and the malingering Leacock occurs.; sent1 & int6 -> int7: the professorialness does not occur.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the fact that the racialness happens but the heroic does not occur is wrong.; int9 & sent4 -> int10: the ruggedization does not occur.; int10 & sent12 -> hypothesis;
the fact that the rating does not occur and the walkout does not occur is false.
$hypothesis$ = that both the non-obligatoryness and the non-bridalness occurs does not hold. ; $context$ = sent1: the professorialness does not occur if the insubordinateness and the malingering Leacock happens. sent2: the fact that the laryngismus but not the coordination happens is wrong. sent3: the undressing trimmer prevents the non-insubordinateness. sent4: if that the racialness occurs and the heroic does not occur does not hold the ruggedization does not occur. sent5: the non-bridalness and the insubordinateness occurs if the malingering Leacock does not occur. sent6: the means happens if both the racialness and the non-heroicness happens. sent7: the autotomy happens if that the means happens is right. sent8: the malingering Leacock and the commemoration happens. sent9: if the ruggedization does not occur then the fact that both the non-obligatoryness and the bridalness happens does not hold. sent10: the racialness happens. sent11: the undressing trimmer occurs. sent12: the fact that the non-obligatoryness and the non-bridalness happens is not true if the ruggedization does not occur. sent13: if the autotomy does not occur that the fact that the rating does not occur and the walkout does not occur is wrong is right. sent14: if the autotomy happens the professorialness occurs. sent15: the fatwa happens and the malingering camlet occurs. ; $proof$ = 
void -> assump1: Let's assume that the racialness and the non-heroicness occurs.; sent6 & assump1 -> int1: the means occurs.; int1 & sent7 -> int2: the autotomy occurs.; int2 & sent14 -> int3: the professorialness occurs.; sent3 & sent11 -> int4: the insubordinateness occurs.; sent8 -> int5: the malingering Leacock happens.; int4 & int5 -> int6: the insubordinateness and the malingering Leacock occurs.; sent1 & int6 -> int7: the professorialness does not occur.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the fact that the racialness happens but the heroic does not occur is wrong.; int9 & sent4 -> int10: the ruggedization does not occur.; int10 & sent12 -> hypothesis; __PROVED__