the fetometry does not occur.
sent1: if the syllogizing Appenzeller does not occur the inaccurateness does not occur. sent2: if the fact that the inaccurateness but not the syllogizing Appenzeller occurs is incorrect that the toilet-training crosstalk does not occur is not incorrect. sent3: the fact that the transparency does not occur but the toilet-training crosstalk occurs does not hold. sent4: the toilet-training crosstalk does not occur if the fact that the inaccurateness and the syllogizing Appenzeller happens is incorrect. sent5: the mensuralness does not occur. sent6: the breaststroke occurs if the fact that the transparency does not occur and the toilet-training crosstalk does not occur is not right. sent7: the mensuralness does not occur if the fact that the boondoggle does not occur is not incorrect. sent8: that the non-unwieldiness or the Berith or both occurs is caused by the non-dizygoticness. sent9: the breaststroking occurs if the toilet-training crosstalk happens. sent10: the unwieldiness does not occur if the unwieldinessness or the Berith or both happens. sent11: that the breaststroking and the farming happens brings about that the fetometry does not occur. sent12: the toilet-training turnoff does not occur. sent13: that the articulating sideboard does not occur and the boondoggle does not occur does not hold if that the unwieldiness does not occur is correct. sent14: the dizygoticness does not occur if that the echoicness does not occur and the convocation does not occur does not hold. sent15: the toilet-training crosstalk does not occur. sent16: the farm happens but the mensuralness does not occur if that the boondoggle occurs is incorrect. sent17: the mensuralness does not occur if the fact that the articulating sideboard does not occur and the boondoggling does not occur does not hold. sent18: if the transparency does not occur then that the syllogizing Appenzeller does not occur is true. sent19: the boondoggle does not occur. sent20: the articulating sideboard does not occur.
void -> assump1: Let's assume that the transparency does not occur and the toilet-training crosstalk does not occur.; assump1 -> int1: the transparency does not occur.; int1 & sent18 -> int2: the syllogizing Appenzeller does not occur.; int2 & sent1 -> int3: the inaccurateness does not occur.; sent16 & sent19 -> int4: the farming and the non-mensuralness happens.; int4 -> int5: the farming occurs.;
the fetometry happens.
$hypothesis$ = the fetometry does not occur. ; $context$ = sent1: if the syllogizing Appenzeller does not occur the inaccurateness does not occur. sent2: if the fact that the inaccurateness but not the syllogizing Appenzeller occurs is incorrect that the toilet-training crosstalk does not occur is not incorrect. sent3: the fact that the transparency does not occur but the toilet-training crosstalk occurs does not hold. sent4: the toilet-training crosstalk does not occur if the fact that the inaccurateness and the syllogizing Appenzeller happens is incorrect. sent5: the mensuralness does not occur. sent6: the breaststroke occurs if the fact that the transparency does not occur and the toilet-training crosstalk does not occur is not right. sent7: the mensuralness does not occur if the fact that the boondoggle does not occur is not incorrect. sent8: that the non-unwieldiness or the Berith or both occurs is caused by the non-dizygoticness. sent9: the breaststroking occurs if the toilet-training crosstalk happens. sent10: the unwieldiness does not occur if the unwieldinessness or the Berith or both happens. sent11: that the breaststroking and the farming happens brings about that the fetometry does not occur. sent12: the toilet-training turnoff does not occur. sent13: that the articulating sideboard does not occur and the boondoggle does not occur does not hold if that the unwieldiness does not occur is correct. sent14: the dizygoticness does not occur if that the echoicness does not occur and the convocation does not occur does not hold. sent15: the toilet-training crosstalk does not occur. sent16: the farm happens but the mensuralness does not occur if that the boondoggle occurs is incorrect. sent17: the mensuralness does not occur if the fact that the articulating sideboard does not occur and the boondoggling does not occur does not hold. sent18: if the transparency does not occur then that the syllogizing Appenzeller does not occur is true. sent19: the boondoggle does not occur. sent20: the articulating sideboard does not occur. ; $proof$ = 
void -> assump1: Let's assume that the transparency does not occur and the toilet-training crosstalk does not occur.; assump1 -> int1: the transparency does not occur.; int1 & sent18 -> int2: the syllogizing Appenzeller does not occur.; int2 & sent1 -> int3: the inaccurateness does not occur.; sent16 & sent19 -> int4: the farming and the non-mensuralness happens.; int4 -> int5: the farming occurs.; __UNKNOWN__