the fact that if the billiardsness occurs then the cataclinalness does not occur and the vexing ringlet does not occur does not hold.
sent1: if the excommunication does not occur and the systematicsness does not occur then the annalisticness does not occur. sent2: if the cataclinalness happens then that the fact that not the billiardsness but the manicure occurs does not hold hold. sent3: the billiardsness occurs if the fact that the barracking icing does not occur and the kip does not occur is not true. sent4: if the barracking icing does not occur and the kip does not occur the cataclinalness does not occur. sent5: the menstrualness does not occur and the letters does not occur. sent6: the fact that not the working daemon but the vexing experiment occurs is not correct. sent7: the impersonation does not occur. sent8: if the kip happens the billiardsness does not occur. sent9: the fact that the kip happens does not hold. sent10: if the barracking icing does not occur and the kip occurs the cataclinalness does not occur. sent11: the manicure does not occur if that the non-billiardsness and the manicure happens is not right. sent12: the Chinese does not occur. sent13: the fact that the billiardsness does not occur is true if that the barracking icing does not occur and the kip does not occur is not true. sent14: if the fact that the Chineseness does not occur is not wrong the vexing ringlet does not occur. sent15: the vexing death does not occur. sent16: the gastrostomy occurs if that the vexing Dormition does not occur and the working brandy does not occur is false.
void -> assump2: Let's assume that that the barracking icing does not occur and the kip does not occur is not true.; sent13 & assump2 -> int1: the billiardsness does not occur.; void -> assump1: Let's assume that the billiardsness occurs.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the barracking icing does not occur and the kip does not occur.; int3 & sent4 -> int4: the cataclinalness does not occur.; sent14 & sent12 -> int5: the fact that the vexing ringlet does not occur hold.; int4 & int5 -> int6: the cataclinalness does not occur and the vexing ringlet does not occur.; [assump1] & int6 -> hypothesis;
the manicure does not occur.
$hypothesis$ = the fact that if the billiardsness occurs then the cataclinalness does not occur and the vexing ringlet does not occur does not hold. ; $context$ = sent1: if the excommunication does not occur and the systematicsness does not occur then the annalisticness does not occur. sent2: if the cataclinalness happens then that the fact that not the billiardsness but the manicure occurs does not hold hold. sent3: the billiardsness occurs if the fact that the barracking icing does not occur and the kip does not occur is not true. sent4: if the barracking icing does not occur and the kip does not occur the cataclinalness does not occur. sent5: the menstrualness does not occur and the letters does not occur. sent6: the fact that not the working daemon but the vexing experiment occurs is not correct. sent7: the impersonation does not occur. sent8: if the kip happens the billiardsness does not occur. sent9: the fact that the kip happens does not hold. sent10: if the barracking icing does not occur and the kip occurs the cataclinalness does not occur. sent11: the manicure does not occur if that the non-billiardsness and the manicure happens is not right. sent12: the Chinese does not occur. sent13: the fact that the billiardsness does not occur is true if that the barracking icing does not occur and the kip does not occur is not true. sent14: if the fact that the Chineseness does not occur is not wrong the vexing ringlet does not occur. sent15: the vexing death does not occur. sent16: the gastrostomy occurs if that the vexing Dormition does not occur and the working brandy does not occur is false. ; $proof$ = 
void -> assump2: Let's assume that that the barracking icing does not occur and the kip does not occur is not true.; sent13 & assump2 -> int1: the billiardsness does not occur.; void -> assump1: Let's assume that the billiardsness occurs.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the barracking icing does not occur and the kip does not occur.; int3 & sent4 -> int4: the cataclinalness does not occur.; sent14 & sent12 -> int5: the fact that the vexing ringlet does not occur hold.; int4 & int5 -> int6: the cataclinalness does not occur and the vexing ringlet does not occur.; [assump1] & int6 -> hypothesis; __DISPROVED__