the atomisticness happens and the calculableness happens.
sent1: if the branchiopod does not occur then that the ceramicsness does not occur and the bankruptcy does not occur does not hold. sent2: the viziership does not occur. sent3: the diligentness does not occur. sent4: the consultancy happens. sent5: that the nicking happens and the atomisticness happens is true. sent6: the kiss occurs. sent7: the fragmenting calamint does not occur and the branchiopodness does not occur if the nick does not occur. sent8: the ceramics does not occur and the bankruptcy does not occur. sent9: if the theatrical does not occur the fact that the posting does not occur but the phalloplasty occurs is incorrect. sent10: the calculableness occurs if the branchiopodness and/or the intractableness happens. sent11: that the duplicity does not occur and the opening does not occur is false. sent12: the osteopathy does not occur if that the osteopathy and the non-tractableness occurs is wrong. sent13: the nicking occurs. sent14: the string happens.
void -> assump1: Let's assume that the branchiopod does not occur.; sent1 & assump1 -> int1: the fact that the ceramicsness does not occur and the bankruptcy does not occur is false.; int1 & sent8 -> int2: this is contradiction.; [assump1] & int2 -> int3: the branchiopod happens.; int3 -> int4: either the branchiopodness occurs or the tractableness does not occur or both.; int4 & sent10 -> int5: the calculableness happens.; sent5 -> int6: the fact that the atomisticness happens is true.; int5 & int6 -> hypothesis;
that the atomisticness occurs and the calculableness happens is incorrect.
 -> hypothesis;
$hypothesis$ = the atomisticness happens and the calculableness happens. ; $context$ = sent1: if the branchiopod does not occur then that the ceramicsness does not occur and the bankruptcy does not occur does not hold. sent2: the viziership does not occur. sent3: the diligentness does not occur. sent4: the consultancy happens. sent5: that the nicking happens and the atomisticness happens is true. sent6: the kiss occurs. sent7: the fragmenting calamint does not occur and the branchiopodness does not occur if the nick does not occur. sent8: the ceramics does not occur and the bankruptcy does not occur. sent9: if the theatrical does not occur the fact that the posting does not occur but the phalloplasty occurs is incorrect. sent10: the calculableness occurs if the branchiopodness and/or the intractableness happens. sent11: that the duplicity does not occur and the opening does not occur is false. sent12: the osteopathy does not occur if that the osteopathy and the non-tractableness occurs is wrong. sent13: the nicking occurs. sent14: the string happens. ; $proof$ = 
void -> assump1: Let's assume that the branchiopod does not occur.; sent1 & assump1 -> int1: the fact that the ceramicsness does not occur and the bankruptcy does not occur is false.; int1 & sent8 -> int2: this is contradiction.; [assump1] & int2 -> int3: the branchiopod happens.; int3 -> int4: either the branchiopodness occurs or the tractableness does not occur or both.; int4 & sent10 -> int5: the calculableness happens.; sent5 -> int6: the fact that the atomisticness happens is true.; int5 & int6 -> hypothesis; __PROVED__