the fact that the interdicting principal occurs if the elementalness happens is not correct.
sent1: the somatosensoriness occurs if the Australasianness occurs. sent2: the peaceableness leads to the trickery. sent3: the encore happens. sent4: the interdicting careerist occurs. sent5: the Australasianness occurs. sent6: that the elementalness happens is prevented by the viatication. sent7: that the somatosensoriness occurs but the sacerdotalness does not occur prevents that the interdicting principal does not occur. sent8: the elementalness occurs if either the viatication occurs or the sacerdotalness happens or both. sent9: the fact that the Siouanness occurs hold. sent10: if the honeying gummed happens then the honeying renunciation does not occur. sent11: the elementalness does not occur if the viatication or the sacerdotalness or both occurs.
void -> assump2: Let's assume that the sacerdotalness occurs.; assump2 -> int1: either the viatication happens or the sacerdotalness happens or both.; int1 & sent11 -> int2: the elementalness does not occur.; void -> assump1: Let's assume that the elementalness happens.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the sacerdotalness does not occur.; sent1 & sent5 -> int5: the somatosensoriness occurs.; int4 & int5 -> int6: the somatosensoriness happens but the sacerdotalness does not occur.; int6 & sent7 -> int7: the interdicting principal happens.; [assump1] & int7 -> hypothesis;
$hypothesis$ = the fact that the interdicting principal occurs if the elementalness happens is not correct. ; $context$ = sent1: the somatosensoriness occurs if the Australasianness occurs. sent2: the peaceableness leads to the trickery. sent3: the encore happens. sent4: the interdicting careerist occurs. sent5: the Australasianness occurs. sent6: that the elementalness happens is prevented by the viatication. sent7: that the somatosensoriness occurs but the sacerdotalness does not occur prevents that the interdicting principal does not occur. sent8: the elementalness occurs if either the viatication occurs or the sacerdotalness happens or both. sent9: the fact that the Siouanness occurs hold. sent10: if the honeying gummed happens then the honeying renunciation does not occur. sent11: the elementalness does not occur if the viatication or the sacerdotalness or both occurs. ; $proof$ = 
void -> assump2: Let's assume that the sacerdotalness occurs.; assump2 -> int1: either the viatication happens or the sacerdotalness happens or both.; int1 & sent11 -> int2: the elementalness does not occur.; void -> assump1: Let's assume that the elementalness happens.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the sacerdotalness does not occur.; sent1 & sent5 -> int5: the somatosensoriness occurs.; int4 & int5 -> int6: the somatosensoriness happens but the sacerdotalness does not occur.; int6 & sent7 -> int7: the interdicting principal happens.; [assump1] & int7 -> hypothesis; __DISPROVED__