that that the unchasteness and the bob happens is caused by that the restoration occurs is not right.
sent1: the laicizing ramjet occurs. sent2: that both the unchasteness and the bob happens is brought about by that the guaranteeing crown does not occur. sent3: not the exodonticness but the corking occurs. sent4: the hysterectomy does not occur. sent5: the parcel happens if the laicizing radiance happens. sent6: the restoration does not occur if that the guaranteeing crown does not occur and the ferry does not occur does not hold.
void -> assump1: Let's assume that the restoration occurs.; void -> assump2: Let's assume that that the guaranteeing crown does not occur and the ferrying does not occur is not correct.; sent6 & assump2 -> int1: the restoration does not occur.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the guaranteeing crown does not occur and the ferry does not occur.; int3 -> int4: the fact that the guaranteeing crown does not occur hold.; sent2 & int4 -> int5: the unchasteness and the bobbing occurs.; [assump1] & int5 -> hypothesis;
$hypothesis$ = that that the unchasteness and the bob happens is caused by that the restoration occurs is not right. ; $context$ = sent1: the laicizing ramjet occurs. sent2: that both the unchasteness and the bob happens is brought about by that the guaranteeing crown does not occur. sent3: not the exodonticness but the corking occurs. sent4: the hysterectomy does not occur. sent5: the parcel happens if the laicizing radiance happens. sent6: the restoration does not occur if that the guaranteeing crown does not occur and the ferry does not occur does not hold. ; $proof$ = 
void -> assump1: Let's assume that the restoration occurs.; void -> assump2: Let's assume that that the guaranteeing crown does not occur and the ferrying does not occur is not correct.; sent6 & assump2 -> int1: the restoration does not occur.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the guaranteeing crown does not occur and the ferry does not occur.; int3 -> int4: the fact that the guaranteeing crown does not occur hold.; sent2 & int4 -> int5: the unchasteness and the bobbing occurs.; [assump1] & int5 -> hypothesis; __DISPROVED__