the fact that the sighting forfeit does not occur if the taping happens is not correct.
sent1: that the prefecture does not occur yields the astringing. sent2: the sighting ball triggers that the sighting forfeit does not occur. sent3: if the coccalness does not occur the polyvalentness happens. sent4: the sighting forfeit happens if the tape occurs. sent5: either the non-minusculeness or the shape-up or both happens. sent6: the cockneiness happens. sent7: if the fact that the fighting plumule occurs is right the staticness does not occur. sent8: the sighting ball occurs if the polyvalentness happens. sent9: that the truthfulness happens is right. sent10: the minusculeness occurs and/or the shape-up does not occur. sent11: if the fact that the sighting ball happens is not false the sighting forfeit occurs. sent12: the coccalness does not occur if the minuscule happens. sent13: that either the minuscule does not occur or the shape-up does not occur or both prevents that the taping happens.
void -> assump2: Let's assume that the minusculeness does not occur.; assump2 -> int1: either the minuscule does not occur or the shape-up does not occur or both.; int1 & sent13 -> int2: the taping does not occur.; void -> assump1: Let's assume that the taping happens.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the minusculeness happens.; int4 & sent12 -> int5: that the coccalness does not occur is not false.; int5 & sent3 -> int6: the polyvalentness occurs.; int6 & sent8 -> int7: the sighting ball occurs.; int7 & sent2 -> int8: the sighting forfeit does not occur.; [assump1] & int8 -> hypothesis;
$hypothesis$ = the fact that the sighting forfeit does not occur if the taping happens is not correct. ; $context$ = sent1: that the prefecture does not occur yields the astringing. sent2: the sighting ball triggers that the sighting forfeit does not occur. sent3: if the coccalness does not occur the polyvalentness happens. sent4: the sighting forfeit happens if the tape occurs. sent5: either the non-minusculeness or the shape-up or both happens. sent6: the cockneiness happens. sent7: if the fact that the fighting plumule occurs is right the staticness does not occur. sent8: the sighting ball occurs if the polyvalentness happens. sent9: that the truthfulness happens is right. sent10: the minusculeness occurs and/or the shape-up does not occur. sent11: if the fact that the sighting ball happens is not false the sighting forfeit occurs. sent12: the coccalness does not occur if the minuscule happens. sent13: that either the minuscule does not occur or the shape-up does not occur or both prevents that the taping happens. ; $proof$ = 
void -> assump2: Let's assume that the minusculeness does not occur.; assump2 -> int1: either the minuscule does not occur or the shape-up does not occur or both.; int1 & sent13 -> int2: the taping does not occur.; void -> assump1: Let's assume that the taping happens.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the minusculeness happens.; int4 & sent12 -> int5: that the coccalness does not occur is not false.; int5 & sent3 -> int6: the polyvalentness occurs.; int6 & sent8 -> int7: the sighting ball occurs.; int7 & sent2 -> int8: the sighting forfeit does not occur.; [assump1] & int8 -> hypothesis; __DISPROVED__