if the pubertalness occurs then the presidentialness occurs.
sent1: the deducing nimblewill occurs. sent2: the anopheline does not occur. sent3: the fact that the anophelineness happens and the extricableness happens is not right. sent4: the pubertalness happens if the fact that the anopheline does not occur and the extricableness occurs is false. sent5: that the anasarcousness does not occur is prevented by that not the quarantine but the aftercare happens. sent6: if the anophelineness occurs then the pubertalness does not occur. sent7: the pubertalness does not occur if that both the non-anophelineness and the extricableness happens is incorrect. sent8: the fact that the Senegaleseness happens is not wrong if the homeopathy occurs. sent9: the bettering happens. sent10: that not the rotationalness but the deducing Crocodylidae occurs is caused by that the presidentialness does not occur. sent11: the fact that that the doricness does not occur and the immortalizing configurationism occurs is right is not true. sent12: the checkmating gopher does not occur. sent13: the deducing alluvion does not occur. sent14: the non-chondriticness and the temperateness happens. sent15: the checkmating harridan does not occur. sent16: the fact that not the martyrdom but the accountantship happens is wrong. sent17: the presidentialness happens if both the anopheline and the extricableness occurs. sent18: the postganglionicness does not occur. sent19: the heating happens. sent20: the undertow occurs.
void -> assump1: Let's assume that the fact that not the anophelineness but the extricableness happens is wrong.; sent7 & assump1 -> int1: that the pubertalness does not occur is not incorrect.; void -> assump2: Let's assume that the pubertalness occurs.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the anophelineness does not occur but the extricableness occurs.;
not the rotationalness but the deducing Crocodylidae happens.
$hypothesis$ = if the pubertalness occurs then the presidentialness occurs. ; $context$ = sent1: the deducing nimblewill occurs. sent2: the anopheline does not occur. sent3: the fact that the anophelineness happens and the extricableness happens is not right. sent4: the pubertalness happens if the fact that the anopheline does not occur and the extricableness occurs is false. sent5: that the anasarcousness does not occur is prevented by that not the quarantine but the aftercare happens. sent6: if the anophelineness occurs then the pubertalness does not occur. sent7: the pubertalness does not occur if that both the non-anophelineness and the extricableness happens is incorrect. sent8: the fact that the Senegaleseness happens is not wrong if the homeopathy occurs. sent9: the bettering happens. sent10: that not the rotationalness but the deducing Crocodylidae occurs is caused by that the presidentialness does not occur. sent11: the fact that that the doricness does not occur and the immortalizing configurationism occurs is right is not true. sent12: the checkmating gopher does not occur. sent13: the deducing alluvion does not occur. sent14: the non-chondriticness and the temperateness happens. sent15: the checkmating harridan does not occur. sent16: the fact that not the martyrdom but the accountantship happens is wrong. sent17: the presidentialness happens if both the anopheline and the extricableness occurs. sent18: the postganglionicness does not occur. sent19: the heating happens. sent20: the undertow occurs. ; $proof$ = 
void -> assump1: Let's assume that the fact that not the anophelineness but the extricableness happens is wrong.; sent7 & assump1 -> int1: that the pubertalness does not occur is not incorrect.; void -> assump2: Let's assume that the pubertalness occurs.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the anophelineness does not occur but the extricableness occurs.; __UNKNOWN__