the subscribing occurs.
sent1: the fact that the subscribing but not the frisking uptick occurs does not hold. sent2: if the submission does not occur then the subscribing happens. sent3: the handlelessness and the rededication occurs. sent4: the gravity happens and the submission occurs. sent5: if that the fact that the piquing knuckleball does not occur and the tragedy does not occur is false is true then the recovery does not occur. sent6: the perennial does not occur and the scud does not occur. sent7: the myelography does not occur. sent8: that the rutting does not occur and the sociolinguisticness does not occur is not false. sent9: both the non-mandibulateness and the non-organizationalness happens. sent10: the submission happens. sent11: the fact that the subscribing does not occur but the frisking uptick happens is incorrect. sent12: the lying does not occur if the fact that the cathecticness does not occur and the frisking muishond does not occur is incorrect. sent13: the hydricness does not occur if that the typography does not occur and the binding advent does not occur is not right. sent14: the typography happens if the fact that the fact that the scudding does not occur and the tube does not occur is correct is not correct. sent15: the centrosomicness does not occur. sent16: if that both the non-technophobicness and the non-periodonticness happens is false the piquing praiseworthiness does not occur. sent17: the scud does not occur. sent18: the gravity does not occur if that the subscribing does not occur and the frisking uptick does not occur is false. sent19: the binding dosed does not occur and the charity does not occur. sent20: the gravity does not occur and the submission does not occur if the typography happens.
void -> assump1: Let's assume that that the subscribing does not occur and the frisking uptick does not occur is not true.; sent18 & assump1 -> int1: the gravity does not occur.; sent4 -> int2: the gravity happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the subscribing does not occur and the frisking uptick does not occur.; int4 -> hypothesis;
the subscribing occurs.
$hypothesis$ = the subscribing occurs. ; $context$ = sent1: the fact that the subscribing but not the frisking uptick occurs does not hold. sent2: if the submission does not occur then the subscribing happens. sent3: the handlelessness and the rededication occurs. sent4: the gravity happens and the submission occurs. sent5: if that the fact that the piquing knuckleball does not occur and the tragedy does not occur is false is true then the recovery does not occur. sent6: the perennial does not occur and the scud does not occur. sent7: the myelography does not occur. sent8: that the rutting does not occur and the sociolinguisticness does not occur is not false. sent9: both the non-mandibulateness and the non-organizationalness happens. sent10: the submission happens. sent11: the fact that the subscribing does not occur but the frisking uptick happens is incorrect. sent12: the lying does not occur if the fact that the cathecticness does not occur and the frisking muishond does not occur is incorrect. sent13: the hydricness does not occur if that the typography does not occur and the binding advent does not occur is not right. sent14: the typography happens if the fact that the fact that the scudding does not occur and the tube does not occur is correct is not correct. sent15: the centrosomicness does not occur. sent16: if that both the non-technophobicness and the non-periodonticness happens is false the piquing praiseworthiness does not occur. sent17: the scud does not occur. sent18: the gravity does not occur if that the subscribing does not occur and the frisking uptick does not occur is false. sent19: the binding dosed does not occur and the charity does not occur. sent20: the gravity does not occur and the submission does not occur if the typography happens. ; $proof$ = 
void -> assump1: Let's assume that that the subscribing does not occur and the frisking uptick does not occur is not true.; sent18 & assump1 -> int1: the gravity does not occur.; sent4 -> int2: the gravity happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the subscribing does not occur and the frisking uptick does not occur.; int4 -> hypothesis; __DISPROVED__