not the pastime but the axiologicalness happens.
sent1: that not the pastime but the axiologicalness occurs is brought about by that the counterattraction does not occur. sent2: if the cloying trio does not occur the fact that the practice does not occur and the accessionalness does not occur is not correct. sent3: if that the fact that the practicing does not occur and the accessionalness does not occur is not right is true then the taxonomicness does not occur. sent4: the fact that the Ghanaianness or the sou'wester or both occurs does not hold if the taxonomicness does not occur. sent5: if the fact that the Ghanaianness occurs and/or the sou'wester happens is not true then the counterattraction does not occur. sent6: the fact that the contributing occurs hold.
void -> assump1: Let's assume that the baptism but not the contributing happens.; assump1 -> int1: the contributing does not occur.; sent6 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the baptism happens and the contributing does not occur does not hold.;
$hypothesis$ = not the pastime but the axiologicalness happens. ; $context$ = sent1: that not the pastime but the axiologicalness occurs is brought about by that the counterattraction does not occur. sent2: if the cloying trio does not occur the fact that the practice does not occur and the accessionalness does not occur is not correct. sent3: if that the fact that the practicing does not occur and the accessionalness does not occur is not right is true then the taxonomicness does not occur. sent4: the fact that the Ghanaianness or the sou'wester or both occurs does not hold if the taxonomicness does not occur. sent5: if the fact that the Ghanaianness occurs and/or the sou'wester happens is not true then the counterattraction does not occur. sent6: the fact that the contributing occurs hold. ; $proof$ = 
void -> assump1: Let's assume that the baptism but not the contributing happens.; assump1 -> int1: the contributing does not occur.; sent6 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the baptism happens and the contributing does not occur does not hold.; __UNKNOWN__