the syllogizing stockholder occurs.
sent1: that the toilet-training uncertainty does not occur but the eligibleness occurs is not true if the gladiatorialness occurs. sent2: both the syllogizing stockholder and the factualness occurs if the divergentness does not occur. sent3: both the fewerness and the detention happens. sent4: if the non-gladiatorialness and the non-eligibleness happens then the syllogizing stockholder does not occur. sent5: if the fact that the non-factualness and the gladiatorialness happens is incorrect then the gladiatorialness does not occur. sent6: that the eligibleness happens is prevented by that the toilet-training uncertainty and the contrapuntalness occurs. sent7: the targeting and/or the articulating alumnus occurs. sent8: the contrapuntalness happens and the bimillenialness happens. sent9: the toilet-training uncertainty happens if the divergentness happens. sent10: the fact that not the factualness but the gladiatorialness happens does not hold if that the fewerness happens hold. sent11: either the feather or the divergentness or both occurs. sent12: if the feather happens the toilet-training uncertainty happens. sent13: that the non-bimillenialness and the non-contrapuntalness happens prevents the dressage.
sent8 -> int1: the contrapuntalness happens.; sent11 & sent12 & sent9 -> int2: the toilet-training uncertainty occurs.; int1 & int2 -> int3: both the toilet-training uncertainty and the contrapuntalness occurs.; int3 & sent6 -> int4: the eligibleness does not occur.; sent3 -> int5: the fewerness happens.; sent10 & int5 -> int6: that that both the non-factualness and the gladiatorialness happens is not incorrect is not correct.; sent5 & int6 -> int7: the gladiatorialness does not occur.; int4 & int7 -> int8: both the non-gladiatorialness and the non-eligibleness occurs.; int8 & sent4 -> hypothesis;
the dressage does not occur.
$hypothesis$ = the syllogizing stockholder occurs. ; $context$ = sent1: that the toilet-training uncertainty does not occur but the eligibleness occurs is not true if the gladiatorialness occurs. sent2: both the syllogizing stockholder and the factualness occurs if the divergentness does not occur. sent3: both the fewerness and the detention happens. sent4: if the non-gladiatorialness and the non-eligibleness happens then the syllogizing stockholder does not occur. sent5: if the fact that the non-factualness and the gladiatorialness happens is incorrect then the gladiatorialness does not occur. sent6: that the eligibleness happens is prevented by that the toilet-training uncertainty and the contrapuntalness occurs. sent7: the targeting and/or the articulating alumnus occurs. sent8: the contrapuntalness happens and the bimillenialness happens. sent9: the toilet-training uncertainty happens if the divergentness happens. sent10: the fact that not the factualness but the gladiatorialness happens does not hold if that the fewerness happens hold. sent11: either the feather or the divergentness or both occurs. sent12: if the feather happens the toilet-training uncertainty happens. sent13: that the non-bimillenialness and the non-contrapuntalness happens prevents the dressage. ; $proof$ = 
sent8 -> int1: the contrapuntalness happens.; sent11 & sent12 & sent9 -> int2: the toilet-training uncertainty occurs.; int1 & int2 -> int3: both the toilet-training uncertainty and the contrapuntalness occurs.; int3 & sent6 -> int4: the eligibleness does not occur.; sent3 -> int5: the fewerness happens.; sent10 & int5 -> int6: that that both the non-factualness and the gladiatorialness happens is not incorrect is not correct.; sent5 & int6 -> int7: the gladiatorialness does not occur.; int4 & int7 -> int8: both the non-gladiatorialness and the non-eligibleness occurs.; int8 & sent4 -> hypothesis; __DISPROVED__