the functioning Comenius does not occur if the eosinophilicness does not occur.
sent1: the functioning Comenius happens. sent2: the fact that the patterning does not occur and the repulsiveness does not occur is not correct if the functioning Comenius occurs. sent3: that the halving butyl happens is triggered by that the overflowing does not occur and the pentavalentness does not occur. sent4: if the flounce does not occur and the diving greenfly does not occur then the timidness occurs. sent5: the colloidalness does not occur. sent6: the attention does not occur. sent7: the fact that the fact that the liplessness does not occur and the thelarche does not occur is not wrong is not true. sent8: the craniotomy does not occur if the fact that the blastomericness does not occur and the Opposition does not occur is incorrect. sent9: the colloidalness prevents that the functioning Comenius happens. sent10: the diving chewink does not occur. sent11: that the functioning Comenius happens is not false if the eosinophilicness does not occur. sent12: if the oviparousness does not occur then the eosinophilicness and the functioning Comenius happens. sent13: the functioning Comenius occurs if that both the non-colloidalness and the non-mecopterousness occurs does not hold. sent14: the eosinophilicness happens if the colloidalness and the non-mecopterousness happens. sent15: the fact that both the colloidalness and the non-mecopterousness happens is not correct. sent16: if both the non-colloidalness and the non-mecopterousness happens then the eosinophilicness occurs.
void -> assump2: Let's assume that the non-colloidalness and the non-mecopterousness occurs.; sent16 & assump2 -> int1: the eosinophilicness occurs.; void -> assump1: Let's assume that the eosinophilicness does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the non-colloidalness and the non-mecopterousness occurs is not true.;
the fact that the pattern does not occur and the repulsiveness does not occur is not right.
$hypothesis$ = the functioning Comenius does not occur if the eosinophilicness does not occur. ; $context$ = sent1: the functioning Comenius happens. sent2: the fact that the patterning does not occur and the repulsiveness does not occur is not correct if the functioning Comenius occurs. sent3: that the halving butyl happens is triggered by that the overflowing does not occur and the pentavalentness does not occur. sent4: if the flounce does not occur and the diving greenfly does not occur then the timidness occurs. sent5: the colloidalness does not occur. sent6: the attention does not occur. sent7: the fact that the fact that the liplessness does not occur and the thelarche does not occur is not wrong is not true. sent8: the craniotomy does not occur if the fact that the blastomericness does not occur and the Opposition does not occur is incorrect. sent9: the colloidalness prevents that the functioning Comenius happens. sent10: the diving chewink does not occur. sent11: that the functioning Comenius happens is not false if the eosinophilicness does not occur. sent12: if the oviparousness does not occur then the eosinophilicness and the functioning Comenius happens. sent13: the functioning Comenius occurs if that both the non-colloidalness and the non-mecopterousness occurs does not hold. sent14: the eosinophilicness happens if the colloidalness and the non-mecopterousness happens. sent15: the fact that both the colloidalness and the non-mecopterousness happens is not correct. sent16: if both the non-colloidalness and the non-mecopterousness happens then the eosinophilicness occurs. ; $proof$ = 
void -> assump2: Let's assume that the non-colloidalness and the non-mecopterousness occurs.; sent16 & assump2 -> int1: the eosinophilicness occurs.; void -> assump1: Let's assume that the eosinophilicness does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the non-colloidalness and the non-mecopterousness occurs is not true.; __UNKNOWN__