the pubertalness occurs and/or the inguinalness occurs.
sent1: the overexertion does not occur. sent2: if the lamplight does not occur then that the ancestralness and the non-experientialness happens does not hold. sent3: that both the non-white-collarness and the non-avascularness happens prevents that the pubertalness does not occur. sent4: the superjacentness does not occur. sent5: the fact that the ancestralness happens and the experientialness happens is not true. sent6: that the overexertion does not occur leads to that both the hymenalness and the reading Lancaster happens. sent7: that the hymenalness happens is prevented by that the communication happens and the white-collarness happens. sent8: that the salivariness happens and the ablactation happens prevents the reading silverfish. sent9: the venography occurs. sent10: that the anticoagulation occurs is brought about by that the coaching cock-a-doodle-doo does not occur. sent11: the fact that the communication occurs is right. sent12: that both the non-hymenalness and the non-white-collarness happens is not right if the pubertalness does not occur. sent13: that the experientialness and the ancestralness occurs yields the non-pubertalness. sent14: if that the ancestralness and the non-experientialness happens is wrong the avascularness does not occur. sent15: if that the hymenalness does not occur and the white-collarness does not occur is not right the fact that the fumigation does not occur hold. sent16: the fact that the subtropicalness occurs but the hardship does not occur is not correct if the permeation does not occur.
void -> assump1: Let's assume that the white-collarness happens.; sent11 & assump1 -> int1: both the communication and the white-collarness occurs.; int1 & sent7 -> int2: the hymenalness does not occur.; sent6 & sent1 -> int3: both the hymenalness and the reading Lancaster occurs.; int3 -> int4: the hymenalness happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the white-collarness does not occur.;
the emancipation does not occur and the fumigation does not occur.
$hypothesis$ = the pubertalness occurs and/or the inguinalness occurs. ; $context$ = sent1: the overexertion does not occur. sent2: if the lamplight does not occur then that the ancestralness and the non-experientialness happens does not hold. sent3: that both the non-white-collarness and the non-avascularness happens prevents that the pubertalness does not occur. sent4: the superjacentness does not occur. sent5: the fact that the ancestralness happens and the experientialness happens is not true. sent6: that the overexertion does not occur leads to that both the hymenalness and the reading Lancaster happens. sent7: that the hymenalness happens is prevented by that the communication happens and the white-collarness happens. sent8: that the salivariness happens and the ablactation happens prevents the reading silverfish. sent9: the venography occurs. sent10: that the anticoagulation occurs is brought about by that the coaching cock-a-doodle-doo does not occur. sent11: the fact that the communication occurs is right. sent12: that both the non-hymenalness and the non-white-collarness happens is not right if the pubertalness does not occur. sent13: that the experientialness and the ancestralness occurs yields the non-pubertalness. sent14: if that the ancestralness and the non-experientialness happens is wrong the avascularness does not occur. sent15: if that the hymenalness does not occur and the white-collarness does not occur is not right the fact that the fumigation does not occur hold. sent16: the fact that the subtropicalness occurs but the hardship does not occur is not correct if the permeation does not occur. ; $proof$ = 
void -> assump1: Let's assume that the white-collarness happens.; sent11 & assump1 -> int1: both the communication and the white-collarness occurs.; int1 & sent7 -> int2: the hymenalness does not occur.; sent6 & sent1 -> int3: both the hymenalness and the reading Lancaster occurs.; int3 -> int4: the hymenalness happens.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the white-collarness does not occur.; __UNKNOWN__