the activating Tylenchidae does not occur.
sent1: that the endodonticness occurs is right if the activating Tylenchidae does not occur. sent2: if that the excusing coated occurs and the pyroelectricity does not occur does not hold then the excusing coated does not occur. sent3: the discrepancy happens if that the decapitation occurs and/or the activating Tylenchidae does not occur is wrong. sent4: if the excusing coated does not occur then that the decapitation happens and/or the activating Tylenchidae does not occur is not true. sent5: that both the animateness and the endodonticness happens prevents that the decapitation happens. sent6: if the excusing Gentianella does not occur then the excusing coated occurs. sent7: the excusing Gentianella does not occur. sent8: if the excusing Gentianella does not occur the excusing coated and the decapitation happens. sent9: that the activating Tylenchidae does not occur yields that not the inanimateness but the endodonticness occurs. sent10: the endodonticness happens.
void -> assump1: Let's assume that the activating Tylenchidae does not occur.; sent9 & assump1 -> int1: both the animateness and the endodonticness occurs.; int1 & sent5 -> int2: the decapitation does not occur.; sent8 & sent7 -> int3: both the excusing coated and the decapitation occurs.; int3 -> int4: the decapitation happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
the discrepancy occurs.
$hypothesis$ = the activating Tylenchidae does not occur. ; $context$ = sent1: that the endodonticness occurs is right if the activating Tylenchidae does not occur. sent2: if that the excusing coated occurs and the pyroelectricity does not occur does not hold then the excusing coated does not occur. sent3: the discrepancy happens if that the decapitation occurs and/or the activating Tylenchidae does not occur is wrong. sent4: if the excusing coated does not occur then that the decapitation happens and/or the activating Tylenchidae does not occur is not true. sent5: that both the animateness and the endodonticness happens prevents that the decapitation happens. sent6: if the excusing Gentianella does not occur then the excusing coated occurs. sent7: the excusing Gentianella does not occur. sent8: if the excusing Gentianella does not occur the excusing coated and the decapitation happens. sent9: that the activating Tylenchidae does not occur yields that not the inanimateness but the endodonticness occurs. sent10: the endodonticness happens. ; $proof$ = 
void -> assump1: Let's assume that the activating Tylenchidae does not occur.; sent9 & assump1 -> int1: both the animateness and the endodonticness occurs.; int1 & sent5 -> int2: the decapitation does not occur.; sent8 & sent7 -> int3: both the excusing coated and the decapitation occurs.; int3 -> int4: the decapitation happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __DISPROVED__