that not the canine but the impelling ectomorphy happens is caused by the shunning titania.
sent1: the fact that the refraction does not occur hold. sent2: that the shunning titania does not occur is brought about by that the canineness occurs. sent3: that the colorcasting does not occur and the bastinadoing Pteropus does not occur is incorrect if the refraction does not occur. sent4: the bastinadoing Pteropus occurs if the fact that the colorcasting does not occur and the bastinadoing Pteropus does not occur is not right.
void -> assump1: Let's assume that the canineness happens.; sent2 & assump1 -> int1: that the shunning titania does not occur is not false.; void -> assump2: Let's assume that the shunning titania occurs.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the canine does not occur.; sent3 & sent1 -> int4: that the fact that the colorcast does not occur and the bastinadoing Pteropus does not occur does not hold is not false.; sent4 & int4 -> int5: the bastinadoing Pteropus occurs.;
$hypothesis$ = that not the canine but the impelling ectomorphy happens is caused by the shunning titania. ; $context$ = sent1: the fact that the refraction does not occur hold. sent2: that the shunning titania does not occur is brought about by that the canineness occurs. sent3: that the colorcasting does not occur and the bastinadoing Pteropus does not occur is incorrect if the refraction does not occur. sent4: the bastinadoing Pteropus occurs if the fact that the colorcasting does not occur and the bastinadoing Pteropus does not occur is not right. ; $proof$ = 
void -> assump1: Let's assume that the canineness happens.; sent2 & assump1 -> int1: that the shunning titania does not occur is not false.; void -> assump2: Let's assume that the shunning titania occurs.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the canine does not occur.; sent3 & sent1 -> int4: that the fact that the colorcast does not occur and the bastinadoing Pteropus does not occur does not hold is not false.; sent4 & int4 -> int5: the bastinadoing Pteropus occurs.; __UNKNOWN__