the fact that the fact that the pediatricsness does not occur and the abscondment does not occur is not wrong is false.
sent1: that the re-entrantness occurs is right if the trotting does not occur. sent2: the mumbling occurs. sent3: if the trot does not occur the diploidness and the re-entrantness occurs. sent4: if the fact that not the Carthusianness but the finalizing capriccio happens is not incorrect then the defensiveness happens. sent5: if not the preparing but the brushing happens the afebrileness happens. sent6: the finalizing gamboge happens if not the efficientness but the finalizing climax happens. sent7: that the mumbling occurs leads to that not the trotting but the calculableness happens. sent8: the abscondment does not occur. sent9: if the Olympicness does not occur the abscondment does not occur. sent10: the detention does not occur. sent11: that the defensiveness happens and the Olympicness happens causes that the diploid does not occur. sent12: the finalizing capriccio occurs. sent13: the pediatricsness does not occur and the abscondment does not occur if the Olympicness does not occur. sent14: the Carthusianness does not occur. sent15: the re-entrantness happens. sent16: the calculableness happens. sent17: if the mumbling occurs the calculableness occurs.
sent14 & sent12 -> int1: the non-Carthusianness and the finalizing capriccio happens.; int1 & sent4 -> int2: the defensive happens.; void -> assump1: Let's assume that that the Olympicness occurs hold.; int2 & assump1 -> int3: both the defensiveness and the Olympicness occurs.; int3 & sent11 -> int4: the fact that the diploidness does not occur hold.; sent7 & sent2 -> int5: not the trot but the calculableness occurs.; int5 -> int6: the trotting does not occur.; sent3 & int6 -> int7: both the diploid and the re-entrantness occurs.; int7 -> int8: the fact that the diploid occurs hold.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the Olympicness does not occur.; int10 & sent13 -> hypothesis;
$hypothesis$ = the fact that the fact that the pediatricsness does not occur and the abscondment does not occur is not wrong is false. ; $context$ = sent1: that the re-entrantness occurs is right if the trotting does not occur. sent2: the mumbling occurs. sent3: if the trot does not occur the diploidness and the re-entrantness occurs. sent4: if the fact that not the Carthusianness but the finalizing capriccio happens is not incorrect then the defensiveness happens. sent5: if not the preparing but the brushing happens the afebrileness happens. sent6: the finalizing gamboge happens if not the efficientness but the finalizing climax happens. sent7: that the mumbling occurs leads to that not the trotting but the calculableness happens. sent8: the abscondment does not occur. sent9: if the Olympicness does not occur the abscondment does not occur. sent10: the detention does not occur. sent11: that the defensiveness happens and the Olympicness happens causes that the diploid does not occur. sent12: the finalizing capriccio occurs. sent13: the pediatricsness does not occur and the abscondment does not occur if the Olympicness does not occur. sent14: the Carthusianness does not occur. sent15: the re-entrantness happens. sent16: the calculableness happens. sent17: if the mumbling occurs the calculableness occurs. ; $proof$ = 
sent14 & sent12 -> int1: the non-Carthusianness and the finalizing capriccio happens.; int1 & sent4 -> int2: the defensive happens.; void -> assump1: Let's assume that that the Olympicness occurs hold.; int2 & assump1 -> int3: both the defensiveness and the Olympicness occurs.; int3 & sent11 -> int4: the fact that the diploidness does not occur hold.; sent7 & sent2 -> int5: not the trot but the calculableness occurs.; int5 -> int6: the trotting does not occur.; sent3 & int6 -> int7: both the diploid and the re-entrantness occurs.; int7 -> int8: the fact that the diploid occurs hold.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the Olympicness does not occur.; int10 & sent13 -> hypothesis; __DISPROVED__